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

[Rical Jasan]

On 02/07/2018 04:07 AM, Zack Weinberg wrote:
> On Wed, Feb 7, 2018 at 1:50 AM, 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 due to "gcc.info" being used in the INFO-FILE-NAME (fourth)
>> argument.  Changing it to "gcc" removes these warnings.  (Manually
>> confirmed equivalent behaviour for make info, html, and pdf.)
>>
>>         * manual/creature.texi: Convert references to gcc.info to gcc.
>>         * manual/stdio.texi: Likewise.
>>         * manual/string.texi: Likewise.
> 
> This is OK, please commit.

Committed; 1f6676d7da1b.

Thank you,
Rical