diff options
Diffstat (limited to 'editors/with-editor-devel/Makefile')
| -rw-r--r-- | editors/with-editor-devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/with-editor-devel/Makefile b/editors/with-editor-devel/Makefile index 66863787b8cd..30c1242564d1 100644 --- a/editors/with-editor-devel/Makefile +++ b/editors/with-editor-devel/Makefile @@ -41,6 +41,7 @@ DOCS_BUILD_DEPENDS= gsed:textproc/gsed DOCS_ALL_TARGET= html DOCS_BINARY_ALIAS= sed=gsed PDF_BUILD_DEPENDS= texi2pdf:print/texinfo +PDF_USES= tex PDF_USE= TEX=dvipdfmx:build PDF_ALL_TARGET= pdf PDF_PLIST_FILES= ${DOCSDIR}/with-editor.pdf |