Use saxon and docbook.xsl

diff --git a/xsl/doc/tools/Makefile b/xsl/doc/tools/Makefile
index 1679872adbab6701bd9f175c46b9906753600e2f..bef57c1d0eafa2c1efafdfd1344d0e1e8b0ea440 100644 (file)
--- a/xsl/doc/tools/Makefile
+++ b/xsl/doc/tools/Makefile
@@ -1,7 +1,7 @@
 include ../../../cvstools/Makefile.incl
-XSLT=xt
+XSLT=saxon
 
-STYLE=../jrefhtml.xsl
+STYLE=../../html/docbook.xsl
 VPATH=../../docsrc/tools
 
 HTMLFILES = profiling.html