Build toolsdocumentation

diff --git a/xsl/docsrc/tools/Makefile b/xsl/docsrc/tools/Makefile
new file mode 100644 (file)
index 0000000..12eda96
--- /dev/null
+++ b/xsl/docsrc/tools/Makefile
@@ -0,0 +1,16 @@
+XSLT=../../../cvstools/saxon
+XJPARSE=../../../cvstools/xjparse
+
+JSTYLE=../../docsrc/xsl2jref.xsl
+VPATH=../../common
+
+XMLFILES = profiling.xml
+
+all: $(XMLFILES)
+
+clean:
+       rm -f $(XMLFILES)
+
+%.xml : %.xsl $(JSTYLE) ../../docsrc/legalnotice.xml
+       $(XSLT) $< $(JSTYLE) /dev/null output-file=$@
+       $(XJPARSE) $@