X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2FMakefile.old;fp=helm%2Fxsltd%2FMakefile.old;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=a56803cc5c16ab24bbf674659849d4d54ab81c1a;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/xsltd/Makefile.old b/helm/xsltd/Makefile.old
deleted file mode 100644
index a56803cc5..000000000
--- a/helm/xsltd/Makefile.old
+++ /dev/null
@@ -1,48 +0,0 @@
-JAVADIR = /opt/java/jdk1.3/bin
-HELM_STYLES_DIR = file:/home/lpadovan/miohelm/style
-
-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:
-	$(JAVADIR)/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