Re: Bug#37532: coda-doc: HTML files gzipped

[Anders Hammarquist <iko@cd.chalmers.se>]

>  Ron> perhaps a better solution would be to have a utility to
>  Ron> s/html/html.gz/g for relative (or better, *affected*) links in a
>  Ron> text..  I've thought about this for a while as a way to keep the
>  Ron> disk footprint of things like the single unix spec to a
>  Ron> reasonable size, but haven't had time to whip up an
>  Ron> implementation yet..  any takers?
> 
>         Until we have this utility, the policy should remain that html
>  is not compressed.

But the way I read the policy it says to compress html, so it that case
it needs to be changed (or at least clarified).

/Anders

-- 
 -- Of course I'm crazy, but that doesn't mean I'm wrong.
Anders Hammarquist                                  | iko@cd.chalmers.se
Physics student                                     | Hem: +46 31 47 69 27
Chalmers University of Technology, G|teborg, Sweden | Mob: +46 707 27 86 87