Re: Bug#7868: wget includes big html docs

[bruce@pixar.com (Bruce Perens)]

> 	Also, how serious are we about the bit in the policy manual
>  about HTML documentation? Anything with texinfo documentation can be
>  converted into HTML (provided you have texi2html), and I tried that
>  with make. This resuts in about 512K of HTML docs.

Possibly this should happen at run-time, not package-build time.

The requirement for HTML documentation is very serious. The implementation
can allow run-time conversion. Please coordinate with the dwww maintainer.

	Thanks

	Bruce
--
Bruce Perens K6BP   Bruce@Pixar.com   510-215-3502
Finger bruce@master.Debian.org for PGP public key.
PGP fingerprint = 88 6A 15 D0 65 D4 A3 A6  1F 89 6A 76 95 24 87 B3