From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 21 Sep 2009 22:18:38 +0000 (+0000)
Subject: xml: bug fix
X-Git-Tag: make_still_working~3450
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d1940c3919339bd8fb875bd0773eb562a73f5f6f;p=helm.git

xml: bug fix
Makefile: now we should be able to generate the static HTML pages
---

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 96412768c..a561cdd9f 100644
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -36,8 +36,10 @@ xml-si: $(MAIN).opt
 	@echo "  HELENA -u -x $(INPUT)"
 	$(H)./$(MAIN).opt -u -x -s 2 -S 1 $(INPUT) > log.txt
 
-html:
-	@$(MAKE) --no-print-directory grundlagen/l/not.ld
+html: LDS = $(shell cat $<)
+
+html: xml/index.txt
+	@$(MAKE) --no-print-directory $(LDS:ld:/%=%)
 
 %.ld: BASEURL = --stringparam baseurl $(STATIC)
 
diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl
index a0b490753..3a8cf88a2 100644
--- a/helm/software/lambda-delta/xml/ld-html-root.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-root.xsl
@@ -15,7 +15,7 @@
       <h1 style="text-align: center;">
          <a href="http://helm.cs.unibo.it/lambda-delta/">
          <img style="border: 0px solid; width: 32px; height: 32px;" 
-	      alt="[lambda-delta-home]"
+	      alt="[lambda-delta home]"
               title="lambda-delta home"
 	      src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
 	 /></a>