X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=doc%2FMakefile;h=f31c755d79675d9bc9747b41f07a59707628422a;hb=e622ee6f4bf2b9fe81af59d566e651c983a4833b;hp=9da1bfd13db712841688ee52fb15a4c61c1253f8;hpb=d26a88bb2cbd2bf5b1430b2f54e11fef252787fe;p=clsql.git diff --git a/doc/Makefile b/doc/Makefile index 9da1bfd..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 @@ -79,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