diff options
Diffstat (limited to 'Config/defs.mk.in')
| -rw-r--r-- | Config/defs.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Config/defs.mk.in b/Config/defs.mk.in index 06038b83f..fc59d68d2 100644 --- a/Config/defs.mk.in +++ b/Config/defs.mk.in @@ -69,6 +69,7 @@ ANSI2KNR = @ANSI2KNR@ YODL = @YODL@ YODL2TXT = $(YODL)2txt YODL2HTML = $(YODL)2html +PDFETEX = @PDFETEX@ # install utility INSTALL_PROGRAM = @INSTALL_PROGRAM@ |