games/prboom-plus: Moved man to share/man

Approved by:    portmgr (blanket)

games/prboom-plus/Makefile

@@ -1,6 +1,6 @@
 PORTNAME=	prboom-plus
 PORTVERSION=	2.5.1.3
-PORTREVISION=	11
+PORTREVISION=	12
 CATEGORIES=	games
 MASTER_SITES=	SF
 
@@ -22,6 +22,7 @@ USE_GL=		gl
 USE_SDL=	image mixer net sdl
 
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
 CONFIGURE_ARGS=	--with-waddir=${DATADIR}
 
 DATADIR=	${DMDIR}

games/prboom-plus/pkg-plist

@@ -1,8 +1,8 @@
 bin/prboom-plus
 bin/prboom-plus-game-server
-man/man5/prboom-plus.cfg.5.gz
-man/man6/prboom-plus.6.gz
-man/man6/prboom-plus-game-server.6.gz
+share/man/man5/prboom-plus.cfg.5.gz
+share/man/man6/prboom-plus.6.gz
+share/man/man6/prboom-plus-game-server.6.gz
 %%DATADIR%%/prboom-plus.wad
 %%PORTDOCS%%%%DOCSDIR%%/MBF.txt
 %%PORTDOCS%%%%DOCSDIR%%/MBFFAQ.txt