The underlying question here was really, "Should PDF documentation be installed compressed?" (Or PostScript or OpenOffice etc. in place of PDF.) The policy is not worded precisely enough on that subject. Obviously, you don't want to install HTML compressed. So I take it that "text documentation" means "plain-text documentation". Good enough for me.
In that case, PDF documentation should not be installed compressed. (Or more accurately, policy does not say that it should.) So, taking your comments into consideration, I propose the following rewording: Any additional documentation that comes with the package may be installed at the discretion of the package maintainer. Documentation files should be installed in or below the directory /usr/share/doc/package, where package is the name of the package. Plain-text files should be compressed with gzip -9 unless they are small. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
