X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FMakefile;h=cadebda99e50cec132094484df25fc2b188f531f;hp=23052c171f835f40954727a1746e4182409faeff;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hpb=456a157eba1428fd4ec02713e60ac2b653a0e0b0

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/Makefile b/matita/matita/contribs/lambdadelta/bin/roles/Makefile
index 23052c171..cadebda99 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/roles/Makefile
@@ -10,4 +10,7 @@ test:
 up-css:
 	@scp roles.css lahar.helm.cs.unibo.it:/projects/helm/public_html/lambdadelta/css/
 
-.PHONY: test up-css
+up-js:
+	@scp roles.js lahar.helm.cs.unibo.it:/projects/helm/public_html/lambdadelta/js/
+
+.PHONY: test up-css up-js