MAN?PREFIX: eleminate its usage and move man to share/man

This commit is contained in:
Baptiste Daroussin
2024-01-10 16:29:44 +01:00
parent f1f3b1f4eb
commit e4610fcb8b
157 changed files with 429 additions and 372 deletions
+2 -1
View File
@@ -10,6 +10,7 @@
PORTNAME= ksh
PORTVERSION= ${AST_COMMIT_DATE}
PORTREVISION= 1
CATEGORIES= shells
PKGNAMESUFFIX= -devel
@@ -70,7 +71,7 @@ do-build:
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/bin/ksh ${STAGEDIR}${PREFIX}/bin/ksh${PSUFFIX}
${INSTALL_MAN} ${WRKSRC}/man/man1/sh.1 ${STAGEDIR}${MAN1PREFIX}/man/man1/ksh${PSUFFIX}.1
${INSTALL_MAN} ${WRKSRC}/man/man1/sh.1 ${STAGEDIR}${PREFIX}/share/man/man1/ksh${PSUFFIX}.1
${MKDIR} ${STAGEDIR}${EXAMPLESDIR}${PSUFFIX}/
cd ${WRKSRC}/fun/ && ${INSTALL_SCRIPT} dirs popd pushd ${STAGEDIR}${EXAMPLESDIR}${PSUFFIX}/
+1 -1
View File
@@ -1,5 +1,5 @@
@shell bin/ksh%%93%%
man/man1/ksh%%93%%.1.gz
share/man/man1/ksh%%93%%.1.gz
share/examples/ksh%%93%%/dirs
share/examples/ksh%%93%%/popd
share/examples/ksh%%93%%/pushd