[Pkg-octave-devel] Bug#764809: octave-info: Info files should be compressed

[Rafael Laboissiere]

Package: octave-info
Version: 3.8.2-3
Severity: normal

In order to fix Bug#762078, the octave-info package contains now 
uncompressed info files, what was not the case in version 3.8.2-2. 
According to the Debian Policy, "[Info documents] should be compressed 
with gzip -9.".  I am filling this bug report as a reminder for the 
Debian Octave Group.  We must compress again the info files once the 
problem of freezing the GUI when reading the compressed info files is 
fixed upstream.

Rafael