X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile;h=ef5068524a5ec304015ed938580e736b72b55e88;hb=d66b34e7f8a6c6ceb330c4cfc8f6a3803eba262b;hp=ba52624e25e965a0981f98faef2a064638b504e2;hpb=54889b5fb4ea40df04165bcb88324c0fd271cd72;p=helm.git

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index ba52624e2..ef5068524 100644
--- 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