X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=doc%2FMakefile;h=f31c755d79675d9bc9747b41f07a59707628422a;hb=e622ee6f4bf2b9fe81af59d566e651c983a4833b;hp=7acb6932393dfd004f19a14a858567f44b94ff3c;hpb=1564d97ae25555b0d4f597316a42d0b7419de846;p=clsql.git

diff --git a/doc/Makefile b/doc/Makefile
index 7acb693..f31c755 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -56,6 +56,10 @@ HTMLFILE:=${DOCFILE_BASE}.html
 TMPFILES:=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
 DOCFILES:=$(shell echo *.xml *.xsl)
 
+ifeq ($(XSLTPROC),)
+  XSLTPROC:=xsltproc
+endif
+
 CATALOG:=`pwd`/catalog-${OS}.xml
 CHECK:=XML_CATALOG_FILES="$(CATALOG)" xmllint --noout --xinclude --postvalid $(DOCFILE) || exit 1