Repaired by substitution.

diff --git a/contrib/tools/make/Makefile.DocBook b/contrib/tools/make/Makefile.DocBook
index 2dfcc742eafef11140046e95824543e55f75096a..402fe9f1b3dd0ff8e84770ece330abf36236e030 100644 (file)
--- a/contrib/tools/make/Makefile.DocBook
+++ b/contrib/tools/make/Makefile.DocBook
@@ -356,7 +356,7 @@ endif
 #     pattern rules for making TeXinfo stuff
 # -----------------------------------------------------------------
 %.txml: %.xml
-       $(DB2X_XSLT) $(DB2X_XSLT_FLAGS) -s texi -o $@ $<
+       $(DB2X_XSLTPROC) $(DB2X_XSLTPROC_FLAGS) -s texi -o $@ $<
 
 %.texi: %.txml
        $(DB2X_TEXIXML) $(DB2X_TEXIXML_FLAGS) $<