diff options
| author | antoine <antoine@FreeBSD.org> | 2018-11-03 03:47:25 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2018-11-03 03:47:25 +0800 |
| commit | 42cb334e1ee2b671133c0c6903e00e736e30bf02 (patch) | |
| tree | 78ec42913a516b65e73bc8ca0b682f7a1161284b /lang/twelf | |
| parent | 9b90514206eda1be132f624db511de68bf0d898a (diff) | |
| download | freebsd-ports-gnome-42cb334e1ee2b671133c0c6903e00e736e30bf02.tar.gz freebsd-ports-gnome-42cb334e1ee2b671133c0c6903e00e736e30bf02.tar.zst freebsd-ports-gnome-42cb334e1ee2b671133c0c6903e00e736e30bf02.zip | |
Install info page properly
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 247b7dd94149..642e299be564 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -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> |