Changeset 1209 for trunk/base

Timestamp:

Nov 9, 2002, 7:58:53 PM (21 years ago)

Author:

jkh

Message:

Ack! Don't gzip man pages by default. I don't know what custom man
settings were being used by the person who checked this in, but the default
behavior of man when encountering a gzipped man page is to totally lose its
cool and generate a bogus catpage.

File:

• trunk/base/doc/Makefile (modified) (2 diffs)

trunk/base/doc/Makefile

@@ -5 +5 @@
 DSTGRP?=        wheel
 
-all: portfile.7.gz portstyle.7.gz
-
-portfile.7.gz: portfile.7
-        gzip -cn portfile.7 > portfile.7.gz
-
-portstyle.7.gz: portstyle.7
-        gzip -cn portstyle.7 > portstyle.7.gz
-
-clean:
-        rm -f portfile.7.gz portstyle.7.gz
 install:
         mkdir -p /etc/defaults
@@ -30 +20 @@
         install -o ${DSTUSR} -g ${DSTGRP} -m 644 prefix.mtree ${ETCDIR}
         install -o ${DSTUSR} -g ${DSTGRP} -m 644 ports.conf.default /etc/defaults/ports.conf
-        install -o ${DSTUSR} -g ${DSTGRP} -m 444 portfile.7.gz ${PREFIX}/man/man7
-        install -o ${DSTUSR} -g ${DSTGRP} -m 444 portstyle.7.gz ${PREFIX}/man/man7
+        install -o ${DSTUSR} -g ${DSTGRP} -m 444 portfile.7 ${PREFIX}/man/man7
+        install -o ${DSTUSR} -g ${DSTGRP} -m 444 portstyle.7 ${PREFIX}/man/man7