misc/dejagnu: Moved man to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
1173809b58
commit
488b8f2903
@ -1,5 +1,6 @@
|
|||||||
PORTNAME= dejagnu
|
PORTNAME= dejagnu
|
||||||
PORTVERSION= 1.6.3
|
PORTVERSION= 1.6.3
|
||||||
|
PORTREVISION= 1
|
||||||
CATEGORIES= misc tcl
|
CATEGORIES= misc tcl
|
||||||
MASTER_SITES= GNU
|
MASTER_SITES= GNU
|
||||||
|
|
||||||
@ -14,6 +15,7 @@ LIB_DEPENDS= libexpect.so:lang/expect
|
|||||||
USES+= gmake tcl
|
USES+= gmake tcl
|
||||||
|
|
||||||
GNU_CONFIGURE= yes
|
GNU_CONFIGURE= yes
|
||||||
|
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
|
||||||
|
|
||||||
INFO= ${PORTNAME}
|
INFO= ${PORTNAME}
|
||||||
|
|
||||||
|
|||||||
@ -1,10 +1,10 @@
|
|||||||
bin/dejagnu
|
bin/dejagnu
|
||||||
bin/runtest
|
bin/runtest
|
||||||
include/dejagnu.h
|
include/dejagnu.h
|
||||||
man/man1/dejagnu-help.1.gz
|
share/man/man1/dejagnu-help.1.gz
|
||||||
man/man1/dejagnu-report-card.1.gz
|
share/man/man1/dejagnu-report-card.1.gz
|
||||||
man/man1/dejagnu.1.gz
|
share/man/man1/dejagnu.1.gz
|
||||||
man/man1/runtest.1.gz
|
share/man/man1/runtest.1.gz
|
||||||
%%DATADIR%%/baseboards/README
|
%%DATADIR%%/baseboards/README
|
||||||
%%DATADIR%%/baseboards/aarch64-sim.exp
|
%%DATADIR%%/baseboards/aarch64-sim.exp
|
||||||
%%DATADIR%%/baseboards/am33_2.0-libremote.exp
|
%%DATADIR%%/baseboards/am33_2.0-libremote.exp
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user