This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] more use of @dots{} in texinfo files
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: Matt Kraai <kraai at alumni dot cmu dot edu>
- Cc: Art Haas <ahaas at neosoft dot com>, <gcc-patches at gcc dot gnu dot org>
- Date: Sun, 23 Jun 2002 11:32:02 +0100 (BST)
- Subject: Re: [PATCH] more use of @dots{} in texinfo files
On Sat, 22 Jun 2002, Matt Kraai wrote:
> I submitted a patch[1] with these two changes a few days ago.
> Care to review it?
>
> Matt
>
> 1. http://gcc.gnu.org/ml/gcc-patches/2002-06/msg01448.html
I don't think you should be removing the comment markers around the dots
(that is, /* @dots{} */ is better than plain @dots{}).
--
Joseph S. Myers
jsm28@cam.ac.uk