X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FMakefile;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FMakefile;h=0000000000000000000000000000000000000000;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=c56f2d8d7dea84b1dc270055cebf59dfe466c157;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git diff --git a/helm/www/lambdadelta/bin/xhtbl/Makefile b/helm/www/lambdadelta/bin/xhtbl/Makefile deleted file mode 100644 index c56f2d8d7..000000000 --- a/helm/www/lambdadelta/bin/xhtbl/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -EXECS = xhtbl - -REQUIRES = str - -include ../Makefile.common - -test: - @$(MAKE) --no-print-directory -C ../../ www - -.PHONY: test