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 8bb54e9add7ef8791bd3704d44f58ce4a5498c76..14ca2eb19e90246b89ffcdb743067424d64f2619 100644 (file)
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -169,24 +169,4 @@ clean:
            reduction.opt fix_params fix_params.opt mmlinterface \
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
-start-xaland:
-       java xaland 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