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

[Andreas Schwab]

Richard Earnshaw <rearnsha@arm.com> writes:

|> > 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".

It's the other way round, because doing strict checking in TeX is more
difficult than in C.

Andreas.

-- 
Andreas Schwab, SuSE Labs, schwab@suse.de
SuSE GmbH, Deutschherrnstr. 15-19, D-90429 Nürnberg
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."