Remove extra space after @pxref in gdb.texinfo
authorTom Tromey <tromey@adacore.com>
Wed, 27 Jan 2021 13:51:21 +0000 (06:51 -0700)
committerTom Tromey <tromey@adacore.com>
Wed, 27 Jan 2021 13:56:27 +0000 (06:56 -0700)
commitbb3c2d4d94185aab4323b59973f1de89917be738
tree16b6f625e713df7204f9a3bae8413f2231311f44
parentf04ce15e831b691d7610dba284e266919e757b10
Remove extra space after @pxref in gdb.texinfo

Internally at AdaCore, documentation is still built with Texinfo 4.13.
This version gave an error when building gdb.texinfo:

../../../binutils-gdb/gdb/doc/gdb.texinfo:27672: @pxref expected braces.
../../../binutils-gdb/gdb/doc/gdb.texinfo:27672: ` {dotdebug_gdb_scripts section,,The @cod...' is too long for expansion; not expanded.

... followed by many more spurious errors that were caused by this
one.

This patch fix the problem by removing the extra space.

I don't know whether it's advisable to try to support this ancient
version of Texinfo (released in 2008 apparently); but in this
particular case the fix is trivial, so I'm checking it in.

gdb/doc/ChangeLog
2021-01-27  Tom Tromey  <tromey@adacore.com>

* gdb.texinfo (Auto-loading extensions): Remove extraneous space.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo