Don't use configuration.pl any more (does it work anyway?)

[helm.git] / helm / interface / Makefile

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index ba52624e25e965a0981f98faef2a064638b504e2..14ca2eb19e90246b89ffcdb743067424d64f2619 100644 (file)
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -169,31 +169,4 @@ clean:
            reduction.opt fix_params fix_params.opt mmlinterface \
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
-start-xaland:
-       java -ss1024K -oss8192K \
-           xaland 12345 12346 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
-
-start-xaland-2:
-       java -ss1024K -oss8192K \
-           xaland2 12345 12346 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
-
-start-xaland-old:
-       java xaland 12345 12346 \
-         examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
-
-start-xaland3:
-       java xaland 12347 12348 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
-
-start-http-getter:
-       http_getter/http_getter.pl
-
 include .depend