]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/Makefile
update in ground_2, static_2, basic_2
[helm.git] / helm / www / lambdadelta / Makefile
index 98fb867c78d89d062e18f7a975205bec50266f94..c58e3f597e013159f5d17b10f71676bf011a9b4d 100644 (file)
@@ -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: