misc/dejagnu: Moved man to share/man

Approved by: portmgr (blanket)
freebsd · Feb 24, 2024 · 488b8f2 · 488b8f2
1 parent 1173809
commit 488b8f2
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/misc/dejagnu/Makefile b/misc/dejagnu/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	dejagnu
 PORTVERSION=	1.6.3
+PORTREVISION=	1
 CATEGORIES=	misc tcl
 MASTER_SITES=	GNU
 
@@ -14,6 +15,7 @@ LIB_DEPENDS=	libexpect.so:lang/expect
 USES+=		gmake tcl
 
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
 
 INFO=		${PORTNAME}
 

diff --git a/misc/dejagnu/pkg-plist b/misc/dejagnu/pkg-plist
@@ -1,10 +1,10 @@
 bin/dejagnu
 bin/runtest
 include/dejagnu.h
-man/man1/dejagnu-help.1.gz
-man/man1/dejagnu-report-card.1.gz
-man/man1/dejagnu.1.gz
-man/man1/runtest.1.gz
+share/man/man1/dejagnu-help.1.gz
+share/man/man1/dejagnu-report-card.1.gz
+share/man/man1/dejagnu.1.gz
+share/man/man1/runtest.1.gz
 %%DATADIR%%/baseboards/README
 %%DATADIR%%/baseboards/aarch64-sim.exp
 %%DATADIR%%/baseboards/am33_2.0-libremote.exp