[PATCH] manual: Fix Texinfo warnings about improper node names.

[Andreas Schwab]

On Feb 06 2018, Rical Jasan <ricaljasan@pacific.net> wrote:

> A number of cross-references to the GCC info manual cause Texinfo
> warnings; e.g.:
>
>   ./creature.texi:11: warning: @xref node name should not contain `.'

This is a strange warning, since the node name is the first argument,
not the fourth.  Looks like a bug in makeinfo.

Andreas.

-- 
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."