diff options
Diffstat (limited to 'editors/xvile/Makefile')
| -rw-r--r-- | editors/xvile/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/editors/xvile/Makefile b/editors/xvile/Makefile index 5f893b94db93..4b3a74d1c6fd 100644 --- a/editors/xvile/Makefile +++ b/editors/xvile/Makefile @@ -3,7 +3,7 @@ # Date created: Tue Feb 21, 1995 # Whom: pgf # -# $Id: Makefile,v 1.3 1995/04/01 12:44:58 jkh Exp $ +# $Id: Makefile,v 1.4 1995/04/09 06:11:17 asami Exp $ # DISTNAME= vile-5.2 @@ -15,4 +15,7 @@ MAKEFILE= makefile GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-screen=x11 +post-install: + gzip -9nf ${PREFIX}/man/man1/xvile.1 + .include <bsd.port.mk> |