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

[Rical Jasan]

On 02/07/2018 12:54 AM, Andreas Schwab wrote:
> 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.

Good eye; I've asked about this on bug-texinfo [0].

Thank you,
Rical

[0] https://lists.gnu.org/archive/html/bug-texinfo/2018-02/msg00004.html