Copy configure option documentation to gdb.texinfo
authorTom Tromey <tom@tromey.com>
Sun, 30 Sep 2018 12:00:01 +0000 (06:00 -0600)
committerTom Tromey <tom@tromey.com>
Mon, 1 Oct 2018 08:55:26 +0000 (02:55 -0600)
commita95746f91769c0f65e9393ff83aad0871d1a666b
tree0cb9d2baaf7b5b13afa2306daa449537b0c72c1e
parent224d30d393654ff0689429505a3e725cdad1cca5
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.
gdb/ChangeLog
gdb/README
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo