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

[Matt Kraai <kraai at alumni dot cmu dot edu>]

On Sun, Jun 23, 2002 at 11:32:02AM +0100, Joseph S. Myers wrote:
> 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{}).

The other uses of `@dots{}' in examples do not put it in
comments, e.g.,

 void *ptr;
 @dots{}
 ptr = &&foo;

This makes more sense to me.  If not, should I submit a patch to
convert them, e.g.,

 void *ptr;
 /* @dots{} */
 ptr = &&foo;

Matt

Attachment: msg01958/pgp00000.pgp
Description: PGP signature