diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/usr.bin/man/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/man/Makefile.inc b/gnu/usr.bin/man/Makefile.inc index 802e622ce379..ceaa588c89ab 100644 --- a/gnu/usr.bin/man/Makefile.inc +++ b/gnu/usr.bin/man/Makefile.inc @@ -19,5 +19,5 @@ refer= /usr/bin/refer grap= # no grap pic= /usr/bin/pic zcat= /usr/bin/zcat -compress= gzip -c +compress= /usr/bin/gzip -c compext= .gz |