Re: Bug#37532: coda-doc: HTML files gzipped
Hi,
>>"Peter" == Peter S Galbraith <GalbraithP@dfo-mpo.gc.ca> writes:
Peter> Manoj Srivastava wrote:
>> We should ask why do we need to do this? The obvious reason is
>> that HTML docs may be large, and there may be disk space issues.
Peter> I only went through the exercise for mh-book to save 2.5 MB.
Peter> I didn't do it for gri to save 0.5MB.
Oh, I agree that developers be permitted to compress HTML
docs, if they have run such a script over the pages and made sure
that the links are valid. Requiring this as part of policy is nother
matter altogether.
manoj
--
O, it is excellent To have a giant's strength; but it is tyrannous To
use it like a giant. Shakespeare, "Measure for Measure", II, 2
Manoj Srivastava <srivasta@debian.org> <http://www.debian.org/%7Esrivasta/>
Key C7261095 fingerprint = CB D9 F4 12 68 07 E4 05 CC 2D 27 12 1D F5 E8 6E
Reply to: