Strange texinfo variables in c-mips.texi

[Matthew Fortune]

Andreas Schwab <schwab@linux-m68k.org> writes:
> jose.marchesi@oracle.com (Jose E. Marchesi) writes:
> 
> > make as.info raises the following warnings:
> >
> >   ../../../gas/doc//c-mips.texi:844: warning: undefined flag: 5.
> >   ../../../gas/doc//c-mips.texi:844: warning: undefined flag: 6.
> >   ../../../gas/doc//c-mips.texi:844: warning: undefined flag: 7.
> >
> > The offending paragraph is:
> >
> >   @item 4 - Deprecated
> >   This variant existed as an initial attempt at supporting 64-bit wide
> >   floating-point registers for O32 ABI on a MIPS32r2 cpu.  This has been
> >   superceded by @value{5}, @value{6} and @value{7}.
> >
> > Anyone knows what is going with these variables, `5', `6' and `7'?  What
> > is their intended values?
> 
> Probably @code instead of @value, matching the formatting of the item
> headers.

My fault I'm afraid, I rewrote that text so much I've failed to check the
final version. I think I had used variables to start with to avoid magic
numbers in the source but changed my mind and didn't change these correctly.

I've pushed this patch as obvious:

diff --git a/gas/doc/c-mips.texi b/gas/doc/c-mips.texi
index cafd832..8d61d04 100644
--- a/gas/doc/c-mips.texi
+++ b/gas/doc/c-mips.texi
@@ -841,7 +841,7 @@ pass all floating-point data in general-purpose registers.
 @item 4 - Deprecated
 This variant existed as an initial attempt at supporting 64-bit wide
 floating-point registers for O32 ABI on a MIPS32r2 cpu.  This has been
-superceded by @value{5}, @value{6} and @value{7}.
+superceded by 5, 6 and 7.

 @item 5 - Double-precision 32-bit CPU, 32-bit or 64-bit FPU
 This variant is used by 32-bit ABIs to indicate that the floating-point

Thanks,
Matthew