X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=063bdbe176ccd8ab6c306370d60ca922b6caf3b9;hp=c654d6abf35928269b8931c6ded5b38c533dcb6b;hb=3bc50da0628f7ff190c7d5ba7c3b96a7706eb823;hpb=48960c13bc55f37499872feb426ed2c5da4333f0

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index c654d6abf..063bdbe17 100644
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -46,7 +46,6 @@ TABLES      = $(XSLTDIR)/xhtbl.xsl
 
 SLS     = helena.sl automath.sl
 BIB     = lambdadelta.bib
-CONTRIB = lambdadelta_2.tar.gz
 
 XMLS = Environment/grundlagen_2/l/not.ld.xml \
        Environment/grundlagen_2/l/et.ld.xml \