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 c0df250c0a23..b993e790e96f 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) |