Re: Manual additions (DOS issues)

[Akim Demaille]

"Tim Van Holder" <address@hidden> 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.