Changeset 1209 for trunk/base


Ignore:
Timestamp:
Nov 9, 2002, 7:58:53 PM (18 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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/base/doc/Makefile

    r1205 r1209  
    55DSTGRP?=        wheel
    66
    7 all: portfile.7.gz portstyle.7.gz
    8 
    9 portfile.7.gz: portfile.7
    10         gzip -cn portfile.7 > portfile.7.gz
    11 
    12 portstyle.7.gz: portstyle.7
    13         gzip -cn portstyle.7 > portstyle.7.gz
    14 
    15 clean:
    16         rm -f portfile.7.gz portstyle.7.gz
    177install:
    188        mkdir -p /etc/defaults
     
    3020        install -o ${DSTUSR} -g ${DSTGRP} -m 644 prefix.mtree ${ETCDIR}
    3121        install -o ${DSTUSR} -g ${DSTGRP} -m 644 ports.conf.default /etc/defaults/ports.conf
    32         install -o ${DSTUSR} -g ${DSTGRP} -m 444 portfile.7.gz ${PREFIX}/man/man7
    33         install -o ${DSTUSR} -g ${DSTGRP} -m 444 portstyle.7.gz ${PREFIX}/man/man7
     22        install -o ${DSTUSR} -g ${DSTGRP} -m 444 portfile.7 ${PREFIX}/man/man7
     23        install -o ${DSTUSR} -g ${DSTGRP} -m 444 portstyle.7 ${PREFIX}/man/man7
Note: See TracChangeset for help on using the changeset viewer.