Re: [PATCH] use @dots{} in autoconf.texi

[Akim Demaille]

>>>>> "Art" == Art Haas <address@hidden> writes:

Art> Hi.  Here's a small patch that replaces all but two occurances of
Art> "..." with @dots{} or @enddots{}. I used @enddots{} in a couple
Art> of places where I thought it made more sense than just
Art> @dots{}. Using these texinfo markup commands in place of "..." 
Art> improves the appearances of printed output, according to the
Art> texinfo documentation.

Art> This patch is against the current CVS version.

Thanks, installed.

Art> Thanks for all the work on autoconf!

Thanks to you!