summary refs log tree commit diff
path: root/Config
diff options
context:
space:
mode:
Diffstat (limited to 'Config')
-rw-r--r--Config/defs.mk.in1
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@