Bruno Haible writes:
> Richard Stallman writes:
> > It seems best to do what Debian is doing, so I wrote this:
> >
> > @item htmldir
> > The directory for installing the HTML files (if any) for this package.
> > (HTML files should be generated from Texinfo sources.) By default, it
> > should be @file{/usr/local/doc/@var{package}}, but it should be written
> > as @file{$(prefix)/doc/@var{package}}.
>
> This makes sense to me. But since distributions differ so widely in
> the precise location of the documentation (/usr/doc vs. /usr/share/doc
> vs. /usr/doc/packages) it'd be nice if that location were selectable
> through a "configure" option --docdir.
Wow. I will mark this day as a holiday. The GNU project has finally
learned that the "info" format is not everything. And guess what, HTML
isn't everything either.
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.
--
Peter Eisentraut Sernanders väg 10:115
[EMAIL PROTECTED] 75262 Uppsala
http://yi.org/peter-e/ Sweden
