diff options
Diffstat (limited to 'games/xdino')
| -rw-r--r-- | games/xdino/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/games/xdino/Makefile b/games/xdino/Makefile index c4e02e7cdba0..50709c970c6d 100644 --- a/games/xdino/Makefile +++ b/games/xdino/Makefile @@ -3,7 +3,7 @@ # Date created: 12 October 1996 # Whom: Yukihiro Nakai <Nakai@Mlab.t.u-tokyo.ac.jp> # -# $Id: Makefile,v 1.4 1997/11/25 08:51:47 tg Exp $ +# $Id: Makefile,v 1.5 1998/07/24 12:48:56 vanilla Exp $ # DISTNAME= xdino-5.4.4 @@ -16,6 +16,7 @@ MAINTAINER= Nakai@technologist.com WRKSRC= ${WRKDIR}/xdino USE_IMAKE= yes MAN1= xdino.1 +MANCOMPRESSED= no post-install: @${INSTALL_PROGRAM} ${WRKSRC}/xdino ${PREFIX}/bin |