games/pioneers: Moved man to share/man

Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-24 08:34:45 +01:00
parent 3d6db5ba7c
commit 734ff5281d
No known key found for this signature in database
GPG Key ID: BDB9B5A617C0BC91
2 changed files with 8 additions and 7 deletions

View File

@ -1,6 +1,6 @@
PORTNAME= pioneers
PORTVERSION= 15.6
PORTREVISION= 4
PORTREVISION= 5
CATEGORIES= games gnome
MASTER_SITES= SF/pio/Source
@ -20,6 +20,7 @@ RUN_DEPENDS= yelp:x11/yelp
USES= gettext gmake gnome pkgconfig
USE_GNOME= cairo gnomeprefix gtk30 intltool librsvg2
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
CPPFLAGS+= -I${LOCALBASE}/include
LDFLAGS+= -L${LOCALBASE}/lib

View File

@ -4,12 +4,12 @@ bin/pioneers-metaserver
bin/pioneers-server-console
bin/pioneers-server-gtk
bin/pioneersai
man/man6/pioneers-editor.6.gz
man/man6/pioneers-metaserver.6.gz
man/man6/pioneers-server-console.6.gz
man/man6/pioneers-server-gtk.6.gz
man/man6/pioneers.6.gz
man/man6/pioneersai.6.gz
share/man/man6/pioneers-editor.6.gz
share/man/man6/pioneers-metaserver.6.gz
share/man/man6/pioneers-server-console.6.gz
share/man/man6/pioneers-server-gtk.6.gz
share/man/man6/pioneers.6.gz
share/man/man6/pioneersai.6.gz
share/applications/pioneers-editor.desktop
share/applications/pioneers-server-gtk.desktop
share/applications/pioneers.desktop