Fix "make info" in gdb
authorTom Tromey <tom@tromey.com>
Sat, 20 Oct 2018 18:18:20 +0000 (12:18 -0600)
committerTom Tromey <tom@tromey.com>
Sat, 20 Oct 2018 18:18:20 +0000 (12:18 -0600)
commitd6677607c2e96c28178467894fa3fe9ba6db7c27
treea7a15de4c17f12fd0dc6b622f06b2b8e05920ce9
parent1a088a2e2628409832326254ce1c42ccf671e847
Fix "make info" in gdb

"make info" in gdb was broken by my last patch.  This fixes it.
Tested by rebuilding; committing as obvious.

gdb/doc/ChangeLog
2018-10-20  Tom Tromey  <tom@tromey.com>

* gdb.texinfo (TUI Commands): Add @end table.
(TUI Configuration): Remove stray @end table.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo