"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 Tom Tromey <tom@tromey.com>
+
+ * gdb.texinfo (TUI Commands): Add @end table.
+ (TUI Configuration): Remove stray @end table.
+
2018-10-19 Tom Tromey <tom@tromey.com>
PR tui/18388:
decrease it. The @var{name} parameter can be one of @code{src} (the
source window), @code{cmd} (the command window), @code{asm} (the
disassembly window), or @code{regs} (the register display window).
+@end table
@node TUI Configuration
@section TUI Configuration Variables
setting affects the display of TAB characters in the source and
assembly windows.
@end table
-@end table
@node Emacs
@chapter Using @value{GDBN} under @sc{gnu} Emacs