Re: Bug#7868: wget includes big html docs
> 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.
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