]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/Makefile
update in lambdadelta
[helm.git] / helm / www / lambdadelta / bin / xhtbl / Makefile
diff --git a/helm/www/lambdadelta/bin/xhtbl/Makefile b/helm/www/lambdadelta/bin/xhtbl/Makefile
deleted file mode 100644 (file)
index c56f2d8..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-EXECS = xhtbl
-
-REQUIRES = str
-
-include ../Makefile.common
-
-test:
-       @$(MAKE) --no-print-directory -C ../../ www
-
-.PHONY: test