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

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

reopen 37532
thanks

> > > HTML documentation in /usr/doc/coda-doc/html is gzipped.
> > > I think it should not.
> > 
> > Policy says it should (and many (most?) browsers will read gzipped
> > html as is).
> 
> Policy says that text files should be compressed (6.3). It doesn't say
> that HTML should be, unless you consider HTML "text documentation"
> (it doesn't say it shouldn't, either).

I parsed the paragraph in question as text, meaning all text formats,
including HTML, *roff, etc as opposed to plain text. Considering the
other response, it would seem that was the intent. 

> However, the problem still exists. While the browser (lynx) is able to
> open a .html.gz, it can't follow any hyperlink because it doesn't
> find the indicated .html file.
> You could either uncompress the files or correct the links to point to
> the compressed version (provided this doesn't break something else).

Good point. This may be motivation that HTML should not be compessed,
or at the very least the problem should be noted in the policy manual.

/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