From a95746f91769c0f65e9393ff83aad0871d1a666b Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Sun, 30 Sep 2018 06:00:01 -0600 Subject: Copy configure option documentation to gdb.texinfo I realized that while I'd updated the README, I didn't update gdb.texinfo to document the options to configure. This patch copies the text from README into gdb.texinfo, adding Texinfo markup. gdb/ChangeLog 2018-10-01 Tom Tromey * README: Minor change. gdb/doc/ChangeLog 2018-10-01 Tom Tromey * gdb.texinfo (Configure Options): Document configure options. --- gdb/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gdb/README') diff --git a/gdb/README b/gdb/README index a1798e4..5881be2 100644 --- a/gdb/README +++ b/gdb/README @@ -439,11 +439,11 @@ more obscure GDB `configure' options are not listed here. `--with-system-readline' Use the readline library installed on the host, rather than the - library supplied as part of GDB tarball. + library supplied as part of GDB. `--with-system-zlib Use the zlib library installed on the host, rather than the - library supplied as part of GDB tarball. + library supplied as part of GDB. `--with-expat' Build GDB with Expat, a library for XML parsing. (Done by -- cgit v1.1