Ubuntu's RPM install does not compress man pages, so make the fix more generic
commit612801e95545c5f958bd191badcee1455c72fb75
authorGuillaume Chazarain <guichaz@gmail.com>
Mon, 11 Jul 2011 20:36:46 +0000 (11 22:36 +0200)
committerGuillaume Chazarain <guichaz@gmail.com>
Mon, 11 Jul 2011 20:36:46 +0000 (11 22:36 +0200)
tree6b41b07554c10f246134b4716240a65f660abddc
parentfcb77ca1693e705014c665fce7e1adcf652b166b
Ubuntu's RPM install does not compress man pages, so make the fix more generic
.install-rpm.sh