]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/Makefile.old
Makefile moved in Makefile.old and start-xaland created.
[helm.git] / helm / xsltd / Makefile.old
diff --git a/helm/xsltd/Makefile.old b/helm/xsltd/Makefile.old
new file mode 100644 (file)
index 0000000..bd50ad7
--- /dev/null
@@ -0,0 +1,45 @@
+start-xaland:
+       java -ss1024K -oss8192K \
+           xaland 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-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 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
+start-xaland-old:
+       java xaland 12345 12346 \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/rootcontent.xsl \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_content.xsl \
+         $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
+
+start-xaland-uwobo:
+       java -ss1024K -oss8192K \
+           xaland_uwobo 12345 12346 12347 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
+start-xaland3:
+       java xaland 12347 12348 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl