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 96412768cc7cbdb171b666c101fcacab34c080b7..a561cdd9f455fcf7dbe1571874dab59055a780d9 100644 (file)
--- 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 a0b4907535865ab23a3f9edbfb3faeb1ee47a678..3a8cf88a2db36f918857c879624eb4326a9ce4c5 100644 (file)
--- 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>