[PATCH] manual: Remove '.info' suffix in manual names passed to @ref [BZ #32962].

[Collin Funk]

Collin Funk <collin.funk1@gmail.com> writes:

>> Texinfo 7.2 began warning about the '.info' suffix in the manual names
>> passed to @ref and similar commands.  They eventually plan to stop
>> stripping the '.info' suffix internally which will lead to broken links
>> in the manuals without this change.
>>
>> Signed-off-by: Collin Funk <collin.funk1@gmail.com>
>
> Friendly ping.

Pinging again.

Collin