Tom Tromey d6677607c2 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.

2018-10-20 12:18:20 -06:00

..

.gitignore

…

a4rc.sed

…

agentexpr.texi

…

all-cfg.texi

…

annotate.texinfo

…

ChangeLog

Fix "make info" in gdb

2018-10-20 12:18:20 -06:00

doxy-index.in

…

Doxyfile-base.in

…

Doxyfile-gdb-api.in

…

Doxyfile-gdb-xref.in

…

Doxyfile-gdbserver.in

…

fdl.texi

…

filter-for-doxygen

…

filter-params.pl

…

gdb.texinfo

Fix "make info" in gdb

2018-10-20 12:18:20 -06:00

gpl.texi

…

guile.texi

…

lpsrc.sed

…

Makefile.in

…

psrc.sed

…

python.texi

Make @pxref for Inferior.architecture point to gdb.Frame documentation

2018-10-09 13:59:37 -06:00

refcard.tex

…

stabs.texinfo

…

stack_frame.eps

…

stack_frame.pdf

…

stack_frame.png

…

stack_frame.svg

…

stack_frame.txt

…