From d1940c3919339bd8fb875bd0773eb562a73f5f6f Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 21 Sep 2009 22:18:38 +0000
Subject: [PATCH] xml: bug fix Makefile: now we should be able to generate the
 static HTML pages

---
 helm/software/lambda-delta/Makefile             | 6 ++++--
 helm/software/lambda-delta/xml/ld-html-root.xsl | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

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>
-- 
2.39.2