From 2d74eb29c7c88db171a18cf8156c3f15f0a20df3 Mon Sep 17 00:00:00 2001 From: alex Date: Sun, 16 Jul 2000 13:13:33 +0000 Subject: Fix my obvious stupidity (why is it GZIP_CMD and not GZIP actually? grrr): /usr/bin/gzip --> ${GZIP_CMD} PR: 19942 Submitted by: KATO Tsuguru --- audio/workman/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'audio/workman') diff --git a/audio/workman/Makefile b/audio/workman/Makefile index 4143642483a..7e1430ca100 100644 --- a/audio/workman/Makefile +++ b/audio/workman/Makefile @@ -22,6 +22,6 @@ MAN1= workman.1 MAN5= workmandb.5 post-install: - /usr/bin/gzip ${X11BASE}/man/man5/workmandb.5 + ${GZIP_CMD} ${X11BASE}/man/man5/workmandb.5 .include -- cgit