Committed: Fix as.texinfo, c-arm.texi missing {} at @dots.

[Richard Earnshaw]

> Was this actually tested with e.g. "make info"?  Anyway, it
> didn't pass makeinfo (texinfo) 4.0.  Committed as obvious.
> 

It passed "make dvi", I'd assumed that would be more strict than "make 
info".


> gas:
> 
> 2002-01-21  Hans-Peter Nilsson  <hp@bitrange.com>
> 
> 	* doc/as.texinfo (Overview) <Target ARM options>: Add missing {}
> 	to @dots call.
> 	<Detailed description, ARM options>: Ditto.
> 	* doc/c-arm.texi (ARM Options): Ditto.


Thanks,

R.