diff --git a/config.make.in b/config.make.in
index aab449b5819de5ae1db4f99785e990285f641a8e..9a462dbb4e29540add0acd83b9b18cb046f4dac8 100644 (file)
--- a/config.make.in
+++ b/config.make.in
mandir = @mandir@
docdir = @docdir@
datarootdir = @datarootdir@
+ASCIIDOC = @ASCIIDOC@
+XMLTO = @XMLTO@
+DOCBOOK2PDF = @DOCBOOK2PDF@