diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/tla/Makefile | 5 | ||||
| -rw-r--r-- | devel/tla/pkg-plist | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/devel/tla/Makefile b/devel/tla/Makefile index 5ec55ca2ede5..8daca0e52662 100644 --- a/devel/tla/Makefile +++ b/devel/tla/Makefile @@ -39,8 +39,11 @@ do-configure: test: cd ${WRKSRC} ; ${GMAKE} test -.if !defined(NOPORTDOCS) post-install: + ${SED} 's,^#!.*$$,#!${AWK} -f,' ${ORIGWRKSRC}/tla/=gpg-check.awk \ + > ${WRKDIR}/tla-gpg-check + ${INSTALL_SCRIPT} ${WRKDIR}/tla-gpg-check ${PREFIX}/bin +.if !defined(NOPORTDOCS) ${MKDIR} ${DOCSDIR}; \ for f in `${FIND} ${ORIGWRKSRC}/docs-tla/html -type f -name '*.html' \ -exec ${BASENAME} {} \;`; do \ diff --git a/devel/tla/pkg-plist b/devel/tla/pkg-plist index 0465aaa9d0c5..6ba125a29a28 100644 --- a/devel/tla/pkg-plist +++ b/devel/tla/pkg-plist @@ -1,2 +1,3 @@ bin/tla +bin/tla-gpg-check @comment automatically generated plist for docs |