Bug#367697: clarify 12.3 Additional documentation

[Peter Eisentraut <peter_e@gmx.net>]

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.