[rfa:doco] Fix that stabs warning ...

[Andrew Cagney]

>> Date: Mon, 03 Mar 2003 14:18:28 -0500
>> From: Andrew Cagney <ac131313@redhat.com>
>> 
>> The attatched patch fixes the makeinfo warning printed when generating
>> the stabs documentation:
>> 
>> makeinfo -o stabs.info=20
>> /home/scratch/PENDING/2003-03-03-doco-stabs-vars/src/gdb/doc/stabs.texinfo
>> /home/scratch/PENDING/2003-03-03-doco-stabs-vars/src/gdb/doc/stabs.texinfo:
>> 2051: warning: unlikely character , in @var.
> 
> 
> Approved, thanks.

Thanks.  make info now gives no warnings!

Andrew