diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 1996-11-17 09:06:37 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 1996-11-17 09:06:37 +0000 |
| commit | 090316dbc14c2b14673d0d368ec85d09c5841a39 (patch) | |
| tree | d6c413c3547e857d6c61c3d887298be79b3ea7e1 /misc/dejagnu | |
| parent | 1cd3d92150c435bd617039c4045455da7a705228 (diff) | |
| download | ports-090316dbc14c2b14673d0d368ec85d09c5841a39.tar.gz ports-090316dbc14c2b14673d0d368ec85d09c5841a39.zip | |
Notes
Diffstat (limited to 'misc/dejagnu')
| -rw-r--r-- | misc/dejagnu/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/misc/dejagnu/Makefile b/misc/dejagnu/Makefile index b133d7cbff5a..5400235a9595 100644 --- a/misc/dejagnu/Makefile +++ b/misc/dejagnu/Makefile @@ -3,7 +3,7 @@ # Date created: 12 October 1996 # Whom: markm # -# $Id: Makefile,v 1.2 1996/11/01 06:10:22 markm Exp $ +# $Id: Makefile,v 1.3 1996/11/11 05:49:24 obrien Exp $ # DISTNAME= dejagnu-1.3 @@ -18,10 +18,6 @@ WRKSRC= ${WRKDIR}/${DISTNAME}/dejagnu GNU_CONFIGURE= yes CONFIGURE_ARGS= i386-freebsd STRIP= - -post-install: -.if !defined(NOMANCOMPRESS) - gzip -9nf ${PREFIX}/man/man1/runtest.1 -.endif +MAN1= runtest.1 .include <bsd.port.mk> |