X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=c58e3f597e013159f5d17b10f71676bf011a9b4d;hp=98fb867c78d89d062e18f7a975205bec50266f94;hb=25c634037771dff0138e5e8e3d4378183ff49b86;hpb=bd53c4e895203eb049e75434f638f26b5a161a2b

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 98fb867c7..c58e3f597 100644
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -115,7 +115,9 @@ up-home: $(HOMESTAMP)
 
 # GENERATE HTML LDDL #########################################################
 
-$(HTMLSTAMP): LDWS = `find $(LDDLDIR) -name *.ldw.xml`
+ifeq ($(MAKECMDGOALS),html)
+  LDWS = $(shell find $(LDDLDIR) -name *.ldw.xml)
+endif
 
 $(HTMLSTAMP): $(LDWSTAMP) $(SITEMAP) $(LDWEB:%=$(XSLTDIR)/%)
 	$(H)for LDW in $(LDWS); do \
@@ -146,7 +148,9 @@ html-ix: $(HTMLIXSTAMP)
 
 # GENERATE HTML HOME #########################################################
 
-$(HOMESTAMP): LDWS = `find -L $(WEBDIRS) -name "*.ldw.xml"`
+ifeq ($(MAKECMDGOALS),home)
+  LDWS = $(shell find -L $(WEBDIRS) -name *.ldw.xml)
+endif
 
 $(HOMESTAMP): $(LDWS) $(TABLES) $(LDWEB:%=$(XSLTDIR)/%)
 	$(H)for LDW in $(LDWS); do \
@@ -160,7 +164,7 @@ home: $(HOMESTAMP)
 
 # GENERATE XSL ###############################################################
 
-$(TABLES) $(SITEMAP): TBLS = `find -L $(WEBDIRS) -name "*.tbl"`
+TBLS = $(shell find -L $(WEBDIRS) -name *.tbl)
 
 $(TABLES) $(SITEMAP): $(TBLS) $(XHTBL)
 	@echo "  XHTBL $(XHTBLOPTS) *.tbl"
@@ -259,3 +263,5 @@ up-download:
 #	$(H)$(XSLT) --novalid $(XSLT_OUT) $(LDDLDIR)/$@.ldw.xml $(XSLT_XSL) $(XSLTDIR)/lddl.xsl $(XSLT_IN) $(XMLDIR)/$@.xml
 
 .PHONY: $(TAGS)
+
+.SUFFIXES: