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

diff --git a/doc/Makefile b/doc/Makefile
index 0e03e00..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
 
@@ -70,6 +74,7 @@ doc: html pdf
 
 .PHONY: check
 check:
+	@echo "Operating system detected: ${OS}"
 	@$(CHECK)
 
 .PHONY: html
@@ -78,7 +83,8 @@ html: html.tar.gz
 html.tar.gz: $(DOCFILES) Makefile 
 	@rm -rf html
 	@mkdir html
-	@XML_CATALOG_FILES="$(CATALOG)" xsltproc --xinclude --output html/ html_chunk.xsl $(DOCFILE)
+	@XML_CATALOG_FILES="$(CATALOG)" $(XSLTPROC) --stringparam chunker.output.encoding ISO-8859-1 \
+		 --xinclude --output html/ html_chunk.xsl $(DOCFILE)
 	@GZIP='-9' tar czf html.tar.gz html 
 
 .PHONY: fo