This would create a dependency to gzip package, but I think that this already exists when we package the pages zipped! Is it possible that a debian system be without gzip?
No: gzip is marked as essential. marin40# dpkg -s gzip Package: gzip Essential: yes Status: install ok installed Priority: required Section: base Maintainer: Bdale Garbee <[EMAIL PROTECTED]> Version: 1.2.4-11 Pre-Depends: libc5 (>= 5.2.18-1) Description: The GNU compression utility. This is the standard GNU file compression utility, which is also the default compression tool for Debian. It typically operates on files with names ending in '.gz'. . This package can also decompress '.Z' files created with 'compress'.
