X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FMakefile;h=c56f2d8d7dea84b1dc270055cebf59dfe466c157;hp=c9bea1a53ea1a862f7b705ca42197ed1b58b3e20;hb=57ae1762497a5f3ea75740e2908e04adb8642cc2;hpb=add1600e1ceef0f1c7e07a4d13c60edd7a3ea367

diff --git a/helm/www/lambdadelta/bin/xhtbl/Makefile b/helm/www/lambdadelta/bin/xhtbl/Makefile
index c9bea1a53..c56f2d8d7 100644
--- a/helm/www/lambdadelta/bin/xhtbl/Makefile
+++ b/helm/www/lambdadelta/bin/xhtbl/Makefile
@@ -1,11 +1,10 @@
-EXEC = xhtbl
-VERSION=0.1.1
+EXECS = xhtbl
 
 REQUIRES = str
 
-YACCFLAGS = -v
-
-include Makefile.common
+include ../Makefile.common
 
 test:
 	@$(MAKE) --no-print-directory -C ../../ www
+
+.PHONY: test