diff options
Diffstat (limited to 'Config')
| -rw-r--r-- | Config/defs.mk.in | 6 |
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@ |