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

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 98fb867c7..1acebccc5 100644
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -15,9 +15,9 @@ SITEDIR    = html
 HTMLDIR    = html/lddl
 SRCDIR     = web/home
 LDDLDIR    = web/lddl
-XHTBLDIR   = bin/xhtbl
-INDEXDIR   = bin/index
 ETCDIR     = etc
+XHTBLDIR   = $(ETCDIR)/lambdadelta/bin/xhtbl
+INDEXDIR   = $(ETCDIR)/lambdadelta/bin/index
 DOWNDIR    = download
 XSLTDIR    = xslt
 XMLDIR     = xml
@@ -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: