diff options
| author | Tom Tromey <tom@tromey.com> | 2018-09-30 06:00:01 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2018-10-01 02:55:26 -0600 |
| commit | a95746f91769c0f65e9393ff83aad0871d1a666b (patch) | |
| tree | 0cb9d2baaf7b5b13afa2306daa449537b0c72c1e /gdb/README | |
| parent | 224d30d393654ff0689429505a3e725cdad1cca5 (diff) | |
| download | gdb-a95746f91769c0f65e9393ff83aad0871d1a666b.zip gdb-a95746f91769c0f65e9393ff83aad0871d1a666b.tar.gz gdb-a95746f91769c0f65e9393ff83aad0871d1a666b.tar.bz2 | |
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 <tom@tromey.com>
* README: Minor change.
gdb/doc/ChangeLog
2018-10-01 Tom Tromey <tom@tromey.com>
* gdb.texinfo (Configure Options): Document configure options.
Diffstat (limited to 'gdb/README')
| -rw-r--r-- | gdb/README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |