Date: Fri, 2 Nov 2018 19:47:25 +0000 (UTC) From: Antoine Brodin <antoine@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r483840 - head/lang/twelf Message-ID: <201811021947.wA2JlPoV019262@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: antoine Date: Fri Nov 2 19:47:25 2018 New Revision: 483840 URL: https://svnweb.freebsd.org/changeset/ports/483840 Log: Install info page properly Modified: head/lang/twelf/Makefile Modified: head/lang/twelf/Makefile ============================================================================== --- head/lang/twelf/Makefile Fri Nov 2 19:43:55 2018 (r483839) +++ head/lang/twelf/Makefile Fri Nov 2 19:47:25 2018 (r483840) @@ -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>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201811021947.wA2JlPoV019262>