summary refs log tree commit diff
path: root/Config
diff options
context:
space:
mode:
Diffstat (limited to 'Config')
-rw-r--r--Config/defs.mk.in6
1 files changed, 3 insertions, 3 deletions
diff --git a/Config/defs.mk.in b/Config/defs.mk.in
index 69edf7005..cd3afa6c4 100644
--- a/Config/defs.mk.in
+++ b/Config/defs.mk.in
@@ -73,9 +73,9 @@ IMPOPT          = @IMPOPT@
 # utilities
 AWK             = @AWK@
 ANSI2KNR        = @ANSI2KNR@
-YODL            = @YODL@
-YODL2TXT        = $(YODL)2txt
-YODL2HTML       = $(YODL)2html
+YODL            = @YODL@ @YODL_OPTIONS@
+YODL2TXT        = @YODL@2txt
+YODL2HTML       = @YODL@2html
 PDFETEX		= @PDFETEX@
 TEXI2PDF	= @TEXI2PDF@