cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Install info page properly

Browse Source
This commit is contained in:
Antoine Brodin 2018-11-02 19:47:25 +00:00
parent d4da780339
commit bf4fd6aa7f
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=483840
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lang/twelf/Makefile
View File

@ -25,9 +25,9 @@ USES= gmake
ALL_TARGET= mlton
PLIST_FILES= bin/${PORTNAME}-server
PORTDATA= emacs examples examples-clp examples-delphin tex vim README
PORTDOCS= dvi html info pdf ps
PORTDOCS= dvi html pdf ps
WRKSRC= ${WRKDIR}/twelf
INFO= twelf
DOCS_INFO= twelf
DOCS_USE= TEX=dvipsk:build,tex:build
DOCS_USES= makeinfo
@ -50,5 +50,6 @@ do-install:
do-install-DOCS-on:
@${MKDIR} ${STAGEDIR}${DOCSDIR}
cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
${INSTALL_DATA} ${WRKSRC}/doc/info/twelf.info* ${STAGEDIR}${PREFIX}/${INFO_PATH}
.include <bsd.port.mk>