Junichi Uekawa <[EMAIL PROTECTED]> (14/05/2007): > Yes, I think patching the HTML files would be OK. > > Another option would be not compressing pdf files; but that's got a > disadvantage in that PDF files are not compressed.
After having considered the first option, and after having tried to
customize dh_compress call (which is quite uneasy, due to some
limitations in this tool), I'd rather go for uncompressed PDF files.
Rationales for this are:
1. This is a separate documentation package.
2. Used space grows up from less than 1 MB to less than 2 MB, which
looks acceptable enough.
3. It makes users' life easier.
4. See #375406 and #367697, plaintext documentation is particularly
spotted as being subject to compression.
This behaviour has been commited in git.
Cheers,
--
Cyril Brulebois
pgp5fGYVks98A.pgp
Description: PGP signature
