diff options
Diffstat (limited to 'gnu/usr.bin/man/Makefile.inc')
-rw-r--r-- | gnu/usr.bin/man/Makefile.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/usr.bin/man/Makefile.inc b/gnu/usr.bin/man/Makefile.inc index c0df250..b993e79 100644 --- a/gnu/usr.bin/man/Makefile.inc +++ b/gnu/usr.bin/man/Makefile.inc @@ -19,6 +19,8 @@ refer= /usr/bin/refer grap= # no grap pic= /usr/bin/pic zcat= /usr/bin/zcat +compress= gzip -c +compext= .gz # For scripts. .if !target(obj) |