diff options
Diffstat (limited to 'devel/tla/Makefile')
| -rw-r--r-- | devel/tla/Makefile | 5 |
1 files changed, 4 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 \ |