# HG changeset patch
# User lumag
# Date 1051720874 0
# Node ID 970a95a4d8563852388e1f476d30f9aa19efc763
# Parent  c6fab860ab183b2fa14b6375e0dff7675f18e951
Add support for the Saxon XSLT Processor.

diff -r c6fab860ab18 -r 970a95a4d856 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Wed Apr 30 11:39:32 2003 +0000
+++ b/DOCS/xml/Makefile	Wed Apr 30 16:41:14 2003 +0000
@@ -5,6 +5,12 @@
 # The xsltproc program.
 XSLTPROC = xsltproc
 
+# Another xslt converter.
+# If you want to use it, change also USE_SAXON to 1 (below)
+# Probably you must also change the path to saxon.jar.
+USE_SAXON = 0
+SAXON_COMMAND = java -cp /usr/share/java/saxon.jar com.icl.saxon.StyleSheet
+
 # The xmllint program.
 XMLLINT = xmllint
 
@@ -38,7 +44,7 @@
 
 #####[ End of configuration ]###########################################
 
-export CHUNK_XSL SGML_CATALOG_FILES XMLLINT XSLTPROC
+export CHUNK_XSL SGML_CATALOG_FILES XMLLINT XSLTPROC SAXON_COMMAND USE_SAXON
 
 .PHONY: no-target
 no-target:
diff -r c6fab860ab18 -r 970a95a4d856 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Wed Apr 30 11:39:32 2003 +0000
+++ b/DOCS/xml/Makefile.inc	Wed Apr 30 16:41:14 2003 +0000
@@ -20,8 +20,12 @@
 $(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS)
 	-rm -f $(HTMLDIR)/*
 	$(XMLLINT) --noout --noent --postvalid --catalogs $<
+	cp $(HTML_STYLESHEET) $(HTMLDIR)/
+ifeq (0,$(USE_SAXON))
 	$(XSLTPROC) --catalogs -o $(HTMLDIR)/ $(HTML_XSL) $<
-	cp $(HTML_STYLESHEET) $(HTMLDIR)/
+else
+	cd $(HTMLDIR) && $(SAXON_COMMAND) $(CURDIR)/$< $(CURDIR)/$(HTML_XSL)
+endif
 
 ../html.xsl:
 	sh ../gen-html.xsl.sh $(CHUNK_XSL) > $@
diff -r c6fab860ab18 -r 970a95a4d856 DOCS/xml/README
--- a/DOCS/xml/README	Wed Apr 30 11:39:32 2003 +0000
+++ b/DOCS/xml/README	Wed Apr 30 16:41:14 2003 +0000
@@ -12,6 +12,10 @@
 * xsltproc (part of libxslt1) is used for transforming XML files into HTML
   files.  Version 1.0.18 or later is recommended.
 
+Also it's possible to use the Saxon XSLT Processor. Russian translator
+used it (version 6.4.4) for a while. To enable it change USE_SAXON to 1 in
+the Makefile.
+
 
 Building the documentation
 ~~~~~~~~~~~~~~~~~~~~~~~~~~