]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/Makefile
\lambda\delta web site update for git
[helm.git] / helm / www / lambdadelta / bin / xhtbl / Makefile
index e1b330db9edebac773ca5b4e9ebc22a5acd1a69a..c56f2d8d7dea84b1dc270055cebf59dfe466c157 100644 (file)
@@ -1,11 +1,10 @@
-EXEC = xhtbl
-VERSION=0.1.1
+EXECS = xhtbl
 
 REQUIRES = str
 
-YACCFLAGS = -v
-
 include ../Makefile.common
 
 test:
        @$(MAKE) --no-print-directory -C ../../ www
+
+.PHONY: test