On Wed, Oct 08, 2014 at 00:22:31 +0200, Rafael Laboissiere wrote: > * Sébastien Villemot <sebast...@debian.org> [2014-10-07 23:00]: > > >I am tempted to disable compression of info files, since it is an easy fix > >for the problem with the GUI, and the cost in terms of additional space is > >limited (something like 2MB). > > > >At any rate, we need to reach a decision soon, since the jessie freeze is > >very close. What do you think? > > According to the Debian Policy manual, section 12.2: "[Info documents] > should be compressed with gzip -9." We have a "should" here instead of a > "must" and, according to section 1.1: "Non-conformance with guidelines > denoted by _should_ (or _recommended_) will generally be considered a bug, > but will not necessarily render a package unsuitable for distribution."
That's my understanding also. > That said, I would follow Sébastien's suggestion and disable compression of > info files for jessie. I'm probably a bit biased by seeing the 3.8 GUI as a best-effort experimental feature, and that this will hopefully be fixed by 4.0. But I agree this would also be fixed now by simply bypassing compression of the info pages temporarily, which just opens a non-RC policy-compliance bug. Sounds like you're both in favor, so fine with me. -- mike -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
