[PATCH] more use of @dots{} in texinfo files

Joseph S. Myers jsm28@cam.ac.uk
Mon Jun 24 10:33:00 GMT 2002


On Mon, 24 Jun 2002, Matt Kraai wrote:

> OK, the following patch change occurrences of `@dots{}' in
> examples to `/* @r{@dots{}} */'.  Passed `make info' and `make
> dvi'.  OK to commit?
> 
> Matt
> 
> 	* extend.texi: Change `@dots{}' to `/* @r{@dots{}} */'
> 	in examples.

OK.

-- 
Joseph S. Myers
jsm28@cam.ac.uk



More information about the Gcc-patches mailing list