Re: new approach: Documentation Policy
On Mon, 7 Jul 1997, Brian White wrote:
> > Packages that contain programs with GNU info manuals, should provide
> > the manuals in HTML _and_ texinfo source (i.e. "*.texi") format. The
> > HTML files should be stored in the directory
> > /usr/doc/<pkg-name>/html-info/
>
> I would suggest storing html documentation under /usr/html (much like
> /usr/man and /usr/info) or possibly /usr/html/package.
>
> This will allow better processing by the future Deity for selective
> install of documentation types.
Can't deity be implemented to match something like
/usr/doc/*/html
too? I wouldn't like to "centralize" documentation again. (We already had
/usr/doc/copyright and /usr/doc/examples, but they have been removed.)
Thanks,
Chris
-- Christian Schwarz
schwarz@monet.m.isar.de, schwarz@schwarz-online.com
schwarz@debian.org, schwarz@mathematik.tu-muenchen.de
PGP-fp: 8F 61 EB 6D CF 23 CA D7 34 05 14 5C C8 DC 22 BA
CS Software goes online! Visit our new home page at
http://www.schwarz-online.com
--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org .
Trouble? e-mail to templin@bucknell.edu .
Reply to: