Hello,

The attatched patch fixes the makeinfo warning printed when generating 
the stabs documentation:

makeinfo -o stabs.info 
/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.
/home/scratch/PENDING/2003-03-03-doco-stabs-vars/src/gdb/doc/stabs.texinfo:2051: 
warning: unlikely character , in @var.
/home/scratch/PENDING/2003-03-03-doco-stabs-vars/src/gdb/doc/stabs.texinfo:2150: 
warning: unlikely character , in @var.
/home/scratch/PENDING/2003-03-03-doco-stabs-vars/src/gdb/doc/stabs.texinfo:2150: 
warning: unlikely character , in @var.

Ok?

Andrew