update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / Makefile

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/Makefile b/matita/matita/contribs/lambdadelta/bin/roles/Makefile
index 779952bacd13edc61af1bff74be3da04dd7b96c3..cadebda99e50cec132094484df25fc2b188f531f 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/roles/Makefile
@@ -5,6 +5,12 @@ REQUIRES =
 include ../Makefile.common
 
 test:
-#      @$(MAKE) --no-print-directory -C ../../ www
+       @./roles.native -C ../.. -r -p
 
-.PHONY: test
+up-css:
+       @scp roles.css lahar.helm.cs.unibo.it:/projects/helm/public_html/lambdadelta/css/
+
+up-js:
+       @scp roles.js lahar.helm.cs.unibo.it:/projects/helm/public_html/lambdadelta/js/
+
+.PHONY: test up-css up-js