X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=a8ad6cbbd3dc261647b4376c97e81e710ce1473e;hb=614d006be363d2e2bbfdf8eb3c20c8604d278be1;hp=c654d6abf35928269b8931c6ded5b38c533dcb6b;hpb=1fd63df4c77f5c24024769432ea8492748b4ac79;p=helm.git

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index c654d6abf..a8ad6cbbd 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 \
@@ -115,9 +114,7 @@ up-home: $(HOMESTAMP)
 
 # GENERATE HTML LDDL #########################################################
 
-ifeq ($(MAKECMDGOALS),html)
-  LDWS = $(shell find $(LDDLDIR) -name *.ldw.xml)
-endif
+$(HTMLSTAMP): LDWS = `find $(LDDLDIR) -name *.ldw.xml -not -name index.ldw.xml`
 
 $(HTMLSTAMP): $(LDWSTAMP) $(SITEMAP) $(LDWEB:%=$(XSLTDIR)/%)
 	$(H)for LDW in $(LDWS); do \
@@ -127,7 +124,6 @@ $(HTMLSTAMP): $(LDWSTAMP) $(SITEMAP) $(LDWEB:%=$(XSLTDIR)/%)
 	$(XSLT) $(XSLT_OUT) $$HTML $(XSLT_XSL) $(XSLTDIR)/ld_web.xsl $(XSLT_IN) $$LDW; \
 	done
 	$(H)touch $@
-	$(H)touch $(HTMLIXSTAMP)
 
 html: $(HTMLSTAMP)