diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/xvile/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/xvile/Makefile b/editors/xvile/Makefile index 17f34d0307b6..bcfd528e512b 100644 --- a/editors/xvile/Makefile +++ b/editors/xvile/Makefile @@ -3,7 +3,7 @@ # Date created: Fri Jun 21, 1996 # Whom: pgf # -# $Id: Makefile,v 1.6 1996/06/25 03:47:35 gpalmer Exp $ +# $Id: Makefile,v 1.7 1996/10/07 12:14:03 max Exp $ # DISTNAME= vile-6.1 @@ -16,7 +16,7 @@ GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-screen=x11 post-install: - .if !defined(NOMANCOMPRESS) +.if !defined(NOMANCOMPRESS) gzip -9nf ${PREFIX}/man/man1/xvile.1 .endif |