Fix build of GDB documentation.
authorEli Zaretskii <eliz@gnu.org>
Mon, 11 Jun 2018 17:30:11 +0000 (20:30 +0300)
committerEli Zaretskii <eliz@gnu.org>
Mon, 11 Jun 2018 17:30:11 +0000 (20:30 +0300)
commit41fc26a2cbc1dc1d08da003d363b2b5821f62076
tree14de38f10df94976a9b8fe3bcb500bc1f2fb6ffa
parent092a534fe14be3eda270256fb2799fd893a1f57c
Fix build of GDB documentation.

gdb/doc/ChangeLog
2018-06-11  Eli Zaretskii  <eliz@gnu.org>

* gdb.texinfo (Maintenance Commands): Add a missing @anchor.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo