xaland that uses DOM created, but seems to be bugged and not working

[helm.git] / helm / xsltd / Makefile

diff --git a/helm/xsltd/Makefile b/helm/xsltd/Makefile
index 83c51d9d5a34aa5b19838487aad6b8a125ce45fd..794aa231028ea91edb1ced52b11d1bdd3919b11b 100644 (file)
--- a/helm/xsltd/Makefile
+++ b/helm/xsltd/Makefile
@@ -6,6 +6,14 @@ start-xaland:
            $(HELM_STYLES_DIR)/theory_content.xsl \
            $(HELM_STYLES_DIR)/theory_pres.xsl
 
+start-xaland-DOM:
+       java -ss1024K -oss8192K \
+           xaland_DOM 12345 12346 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
 start-xaland-2:
        java -ss1024K -oss8192K \
            xaland2 12345 12346 \