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

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/Makefile b/matita/matita/contribs/lambdadelta/bin/roles/Makefile
index 779952bac..23052c171 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/roles/Makefile
@@ -5,6 +5,9 @@ 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/
+
+.PHONY: test up-css