blob: 52ef410407553780ca7c30247842e1658e322d42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
diff --git a/install.sh b/install.sh
index fd7f8f6..3872cc7 100755
--- a/install.sh
+++ b/install.sh
@@ -353,9 +353,8 @@ if [ -n "$MANDIR" ]; then
[ -n "$INSTALLD" ] || make_parent_directory ${DESTDIR}${MANDIR}/man8 0755
for f in *.8; do
- gzip -9c $f > $f.gz
- install_file $f.gz ${DESTDIR}${MANDIR}/man8/$f.gz 0644
- echo "Man page $f.gz installed to ${DESTDIR}${MANDIR}/man8/$f.gz"
+ install_file $f ${DESTDIR}${MANDIR}/man8/$f 0644
+ echo "Man page $f installed to ${DESTDIR}${MANDIR}/man8/$f"
done
cd ..
|