Much more modularity and some buf fixed in http_getter.pl

[helm.git] / helm / interface / Makefile

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index ba52624e25e965a0981f98faef2a064638b504e2..ef5068524a5ec304015ed938580e736b72b55e88 100644 (file)
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -171,27 +171,33 @@ clean:
 
 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
+           xaland 12345 12346 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/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
+           xaland2 12345 12346 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/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
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
+         $(COQV)/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
+       java xaland 12347 12348 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/examples/style/theory_pres.xsl
 
 start-http-getter:
        http_getter/http_getter.pl