[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>
> ---
>  manual/intro.texi | 3 +--
>  manual/maint.texi | 4 ++--
>  manual/stdio.texi | 4 ++--
>  3 files changed, 5 insertions(+), 6 deletions(-)

Ping.

Collin