matita/matita/contribs/lambdadelta/bin/roles/Makefile

   1 EXECS = roles
   2
   3 REQUIRES =
   4
   5 include ../Makefile.common
   6
   7 test:
   8         @./roles.native -C ../.. -r -p
   9
  10 up-css:
  11         @scp roles.css lahar.helm.cs.unibo.it:/projects/helm/public_html/lambdadelta/css/
  12
  13 .PHONY: test up-css