Re: The /usr/doc Hierarchie

["James A. Robinson" <jimr@simons-rock.edu>]

> In general, documentation source should be in the source package.  The
> /usr/doc directory can contain PostScript, DVI, ASCII, ASCII with
> overprint highlighting, &c.
> 
> I don't think TeX source is appropriate; it is definitely
> inappropriate if no formatted version is provided.

I disagree, we should provide a means for people to regenerate the
docs using their own setup -- without having to download the source
package.  If we provide a dvi file, people might not be able to print
it due to missing dvi fonts, if we provide a ps file, it may be
formated for letter only when people want A4 or vice versa.  Giving
the compressed source allows people the option of using their own
tools to regenerate docs.  Making ascii is messy for documentation
that is really formated.


Jim