"Tim Van Holder" <[EMAIL PROTECTED]> writes:
> > @bullets are atrocious! We use @minus.
> Fine by me. Note that the only two other @itemizes in the manual
> both use @bullet.
Arg, to be fixed ;)
> > I removed the @*, AFAIK it's useless here, and anyway it is
> > inconsistent with the rest of the doc.
> Maybe for DVI output, but for info (using makeinfo 4.0) you get
>
> - No multiple dots DOS cannot handle multiple dots in filenames.
> This is an especially important thing to remember when building a
> portable configure script, as `autoconf' uses a .in suffix for
> template files.
>
> This is ugly IMHO; the @* was there to force a line break, as in:
>
> - No multiple dots
> DOS cannot handle multiple dots in filenames. This is an
> especially important thing to remember when building a portable
> configure script, as `autoconf' uses a .in suffix for template
> files.
In fact it's because we use @table here, when there is a label to items.
> > We promote @sc{dos}.
> Fine by me. DJGPP should be kept as is though (i.e. no @sc{djgpp})
> - the DJGPP maintainers want it that way.
Arg, will have to be fixed then.
