diff options
Diffstat (limited to 'games/xteddy')
-rw-r--r-- | games/xteddy/Makefile | 3 | ||||
-rw-r--r-- | games/xteddy/pkg-plist | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/games/xteddy/Makefile b/games/xteddy/Makefile index 764066135cbc..88ee2d43eb91 100644 --- a/games/xteddy/Makefile +++ b/games/xteddy/Makefile @@ -3,7 +3,7 @@ # Date created: 3 June 1998 # Whom: Eckart "Isegrim" Hofmann # -# $Id: Makefile,v 1.3 1998/09/15 11:13:20 asami Exp $ +# $Id: Makefile,v 1.4 1998/09/17 00:32:40 asami Exp $ # DISTNAME= xteddy-1.0 @@ -17,6 +17,7 @@ LIB_DEPENDS= Xpm.4:${PORTSDIR}/graphics/xpm NO_CDROM= "Can only be distributed for free" USE_IMAKE= yes +MAN1= xteddy.1 post-install: strip ${PREFIX}/bin/xteddy diff --git a/games/xteddy/pkg-plist b/games/xteddy/pkg-plist index cf61cf95d48c..9979dc5705c9 100644 --- a/games/xteddy/pkg-plist +++ b/games/xteddy/pkg-plist @@ -1,2 +1 @@ bin/xteddy -man/man1/xteddy.1.gz |