X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=doc%2FMakefile;h=8905b68aae89e5c60661e12f50015fdd5dc277a4;hb=4cd076b20dcd4d686fb684bdc82b86a9b30acfe0;hp=431de9a15de3f377cd660d40ef88e46c94243c5d;hpb=3e24d5b9fd4db032e95b25b7c6c088b1e6eb2e45;p=hyperobject.git

diff --git a/doc/Makefile b/doc/Makefile
index 431de9a..8905b68 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -57,6 +57,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