]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/Makefile
λδ site update
[helm.git] / helm / www / lambdadelta / Makefile
index 063bdbe176ccd8ab6c306370d60ca922b6caf3b9..a8ad6cbbd3dc261647b4376c97e81e710ce1473e 100644 (file)
@@ -114,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 \
@@ -126,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)