diff --git a/textproc/linuxdoc-tools/Makefile b/textproc/linuxdoc-tools/Makefile index 8f6ec6451242..dabc8bc4e5bc 100644 --- a/textproc/linuxdoc-tools/Makefile +++ b/textproc/linuxdoc-tools/Makefile @@ -31,9 +31,8 @@ WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} OPTIONS_DEFINE= DOCS DOCS_BUILD_DEPENDS= bash:shells/bash -DOCS_USES= tex -DOCS_USE= TEX=latex:build,pdftex:build,dvipsk:build -DOCS_USES= makeinfo +DOCS_USES= makeinfo tex +DOCS_USE= TEX=dvipsk:build,latex:build,pdftex:build DOCS_CONFIGURE_ENABLE= docs .include