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 8c34181a09abba3db6d9b71d25285f425b0f5e7f..23052c171f835f40954727a1746e4182409faeff 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/roles/Makefile
@@ -5,7 +5,7 @@ REQUIRES =
 include ../Makefile.common
 
 test:
-       @./roles.native -C ../.. -r -W > roles.html
+       @./roles.native -C ../.. -r -p
 
 up-css:
        @scp roles.css lahar.helm.cs.unibo.it:/projects/helm/public_html/lambdadelta/css/