Re: HTML format documentation

[David Morgan]

Earnie Boyd wrote:
> 
> --- Peter Eisentraut <[EMAIL PROTECTED]> wrote:
> >
> > I fully support making "docdir" a separate directory that defaults to
> > `${prefix}/doc' -- after all, this has been reality for years. But I'd
> > like to see this taken further: make "info" a subdirectory of "doc", make
> > "man" a subdirectory of "doc", make "dvi" a subdirectory of "doc", make
> > "html" a subdirectory of "doc", in short put all the documentation into
> > "doc". The last thing I want is each documentation format claiming its
> > own major directory in the file system.
> >
> 
> I really like this idea.  It's bothered me for some time but I've never
> addressed it.
> 
I like the idea too but how long will my manpath be now?  One for bison,
one for flex, one for autoconf, one for ...

Regards
 David