diff options
Diffstat (limited to 'games/xmine')
| -rw-r--r-- | games/xmine/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/games/xmine/Makefile b/games/xmine/Makefile index 9b43b99fa1f0..9468f0b10df4 100644 --- a/games/xmine/Makefile +++ b/games/xmine/Makefile @@ -3,11 +3,12 @@ # Date created: 25 December 1994 # Whom: joerg # -# $Id$ +# $Id: Makefile,v 1.1.1.1 1994/12/26 15:26:04 joerg Exp $ # DISTNAME= xmine-1.0.3-Xaw USE_IMAKE= yes +INSTALL_MANPAGES= yes DEPENDS= x11/Xaw3d |