games/hinversi: Moved man to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
4142172a22
commit
95f53411b7
2 changed files with 3 additions and 2 deletions
|
@ -1,6 +1,6 @@
|
|||
PORTNAME= hinversi
|
||||
PORTVERSION= 0.8.2
|
||||
PORTREVISION= 2
|
||||
PORTREVISION= 3
|
||||
CATEGORIES= games
|
||||
MASTER_SITES= SF/${PORTNAME}/latest
|
||||
|
||||
|
@ -13,6 +13,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING
|
|||
|
||||
USES= libtool pathfix
|
||||
GNU_CONFIGURE= yes
|
||||
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
|
||||
INSTALL_TARGET= install-strip
|
||||
USE_LDCONFIG= yes
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
bin/hinversi-cgi
|
||||
bin/hinversi-cli
|
||||
man/man1/hinversi-cli.1.gz
|
||||
share/man/man1/hinversi-cli.1.gz
|
||||
include/hinversi/abClient.h
|
||||
include/hinversi/aiManager.h
|
||||
include/hinversi/macros.h
|
||||
|
|
Loading…
Reference in a new issue