As the PDF manuals should be coming back really soon now, I'm thinking
about compressing them, because the file size is is quite big (approx. 11M
per language). What do you think, should they be offered as .gz, .bz2 and
.zip versions like the HTML version (in many files), or would .gz suffice?
AFAIK some of the newer zip programs for Windows do handle .gz. But then,
.bz2 compression is the best one. See directory listing.
-- Jouni
-rw-r--r-- 1 jah staff 11073633 Jul 25 18:32 manual-de.pdf
-rw-r--r-- 1 jah staff 3596586 Jul 25 21:08 manual-de.pdf.bz2
-rw-r--r-- 1 jah staff 3938446 Jul 25 21:06 manual-de.pdf.gz
-rw-r--r-- 1 jah staff 3938572 Jul 25 21:12 manual-de.pdf.zip
-rw-r--r-- 1 jah staff 11938128 Jul 25 19:11 manual-en.pdf
-rw-r--r-- 1 jah staff 3847560 Jul 25 21:08 manual-en.pdf.bz2
-rw-r--r-- 1 jah staff 4228765 Jul 25 21:06 manual-en.pdf.gz
-rw-r--r-- 1 jah staff 4228891 Jul 25 21:12 manual-en.pdf.zip
-rw-r--r-- 1 jah staff 11001028 Jul 25 19:46 manual-it.pdf
-rw-r--r-- 1 jah staff 3538368 Jul 25 21:09 manual-it.pdf.bz2
-rw-r--r-- 1 jah staff 3873942 Jul 25 21:06 manual-it.pdf.gz
-rw-r--r-- 1 jah staff 3874068 Jul 25 21:12 manual-it.pdf.zip
-rw-r--r-- 1 jah staff 11874674 Jul 25 20:17 manual-nl.pdf
-rw-r--r-- 1 jah staff 3840079 Jul 25 21:09 manual-nl.pdf.bz2
-rw-r--r-- 1 jah staff 4224977 Jul 25 21:07 manual-nl.pdf.gz
-rw-r--r-- 1 jah staff 4225103 Jul 25 21:13 manual-nl.pdf.zip
