Skip to content
Browse files

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.

git-svn-id: d073be05-634f-4543-b044-5fe20cf6d1d6
  • Loading branch information
Jordan K. Hubbard
Jordan K. Hubbard committed Nov 9, 2002
1 parent 7dd3655 commit 618caf4a728f1ea982fd9f3bca0bf926e5e0ce8a
Showing with 2 additions and 12 deletions.
  1. +2 −12 doc/Makefile
@@ -4,16 +4,6 @@ MAN7= portfile.7 portstyle.7
DSTUSR?= root
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

rm -f portfile.7.gz portstyle.7.gz
mkdir -p /etc/defaults
mkdir -p ${ETCDIR}
@@ -29,5 +19,5 @@ install:
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

0 comments on commit 618caf4

Please sign in to comment.
You can’t perform that action at this time.