X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=doc%2FMakefile;h=175cb2514309094ee0ae8fc01308757acb526c58;hb=1d22f7b3d1cc457c5b46c984322d1da4dddde9e1;hp=a3530de914e38654e2e9a4654ab1ae8dfee679db;hpb=385bd9a0364791389bcbba525b360a8b1f2927cd;p=uffi.git diff --git a/doc/Makefile b/doc/Makefile index a3530de..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 @@ -80,7 +84,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