Bug#367697: clarify 12.3 Additional documentation

2006-08-16 Thread Wouter Verhelst
On Tue, Aug 15, 2006 at 08:56:41PM +0200, Peter Eisentraut wrote: 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

Bug#367697: clarify 12.3 Additional documentation

2006-08-15 Thread Peter Eisentraut
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

Bug#367697: clarify 12.3 Additional documentation

2006-05-17 Thread Peter Eisentraut
Package: debian-policy Version: 3.7.2.0 Severity: wishlist I would like to see some clarifications for section 12.3 Additional documentation, in particular this: Any additional documentation that comes with the package may be installed at the discretion of the package maintainer. Text