X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;ds=sidebyside;f=doc%2FMakefile;fp=doc%2FMakefile;h=175cb2514309094ee0ae8fc01308757acb526c58;hb=4cd0d5d6c80dd5a0d4e363ef87e99ebf72cc014b;hp=dd7e2570f72e85a9f0146a2aca68d7def9abf01b;hpb=ddc4406e05568a26c37845f5d5c7ad811886a39f;p=uffi.git

diff --git a/doc/Makefile b/doc/Makefile
index dd7e257..175cb25 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