[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Akim Demaille
Subject: Re: [PATCH] use @dots{} in autoconf.texi
Date: 09 Jul 2002 10:21:23 +0200
User-agent: Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.4 (Honest Recruiter)

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]