From 802383ec61e0466b5cc75a1347eddc4c438e352d Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 12 Sep 2011 12:03:12 +0000
Subject: [PATCH] bug fix in xslt: missing ld namespace

---
 helm/www/lambda_delta/Makefile              |  8 +++++---
 helm/www/lambda_delta/xslt/lddl_entity.xsl  |  5 +++--
 helm/www/lambda_delta/xslt/lddl_library.xsl |  1 +
 helm/www/lambda_delta/xslt/lddl_root.xsl    |  5 +++--
 helm/www/lambda_delta/xslt/lddl_term.xsl    | 17 +++++++++--------
 5 files changed, 21 insertions(+), 15 deletions(-)

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index af82c9ba5..206ee8efb 100644
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -30,7 +30,7 @@ XMLS = brg_si/grundlagen/l/not.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
        crg_si/grundlagen/l/e/pairis1.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \
-#       brg_si/grundlagen/ccs.ldc.xml
+       brg_si/grundlagen/ccs.ldc.xml
 
 XMLLINT = xmllint --noout
 XSLT    = xsltproc
@@ -55,7 +55,7 @@ install-xml: $(XMLDIR)/index.txt
 test-html:
 	@$(MAKE) --no-print-directory $(XMLS:%.xml=%)
 
-html: $(ETCDIR)/make-html.sh
+html: $(ETCDIR)/make_html.sh
 	@echo "  MAKE */*.ld"
 	$(H). $<
 
@@ -65,7 +65,7 @@ install-html: $(ETCDIR)/make_html.sh
 
 install-jed: $(SLS:%=$(JEDDIR)/%)
 	@echo "  INSTALL $(SLS)"
-	$(H)scp $(SLS:%=$(JEDDIR)/%) $(DOWNDIR)
+	$(H)scp $^ $(DOWNDIR)
 
 install-bib: $(BIB:%=$(BIBDIR)/%)
 	@echo "  INSTALL $(BIB)"
@@ -81,3 +81,5 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
 
 %.ldc:
 	@echo "  SKIP $@"
+
+.PHONY: $(TAGS)
diff --git a/helm/www/lambda_delta/xslt/lddl_entity.xsl b/helm/www/lambda_delta/xslt/lddl_entity.xsl
index 676d37722..f9fca428f 100644
--- a/helm/www/lambda_delta/xslt/lddl_entity.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_entity.xsl
@@ -12,6 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns:ld="http://lambda-delta.info"
                               xmlns="http://www.w3.org/1999/xhtml"
 >
 
@@ -46,13 +47,13 @@
    </div>
 </xsl:template>
 
-<xsl:template match="ABST">
+<xsl:template match="ld:ABST">
    <xsl:call-template name="ENTITY">
       <xsl:with-param name="kind">Declaration</xsl:with-param>
    </xsl:call-template>
 </xsl:template>
 
-<xsl:template match="ABBR">
+<xsl:template match="ld:ABBR">
    <xsl:call-template name="ENTITY">
       <xsl:with-param name="kind">Definition</xsl:with-param>
    </xsl:call-template>
diff --git a/helm/www/lambda_delta/xslt/lddl_library.xsl b/helm/www/lambda_delta/xslt/lddl_library.xsl
index c7914ed64..8af7006a3 100644
--- a/helm/www/lambda_delta/xslt/lddl_library.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_library.xsl
@@ -12,6 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns:ld="http://lambda-delta.info"
                               xmlns="http://www.w3.org/1999/xhtml"
 >
 
diff --git a/helm/www/lambda_delta/xslt/lddl_root.xsl b/helm/www/lambda_delta/xslt/lddl_root.xsl
index c4cf27cd8..251b9cee8 100644
--- a/helm/www/lambda_delta/xslt/lddl_root.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_root.xsl
@@ -12,7 +12,8 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns="http://www.w3.org/1999/xhtml"
+                              xmlns:ld="http://lambda-delta.info"
+			      xmlns="http://www.w3.org/1999/xhtml"
 >
 
 <xsl:strip-space elements="ENTITY"/>
@@ -93,7 +94,7 @@
    </body></html>
 </xsl:template>
 
-<xsl:template match="ENTITY">
+<xsl:template match="ld:ENTITY">
    <xsl:apply-templates/>
    <div class="text">
       <xsl:call-template name="vpars"/>
diff --git a/helm/www/lambda_delta/xslt/lddl_term.xsl b/helm/www/lambda_delta/xslt/lddl_term.xsl
index 4e0c488b5..b11a02b64 100644
--- a/helm/www/lambda_delta/xslt/lddl_term.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_term.xsl
@@ -12,6 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns:ld="http://lambda-delta.info"
                               xmlns="http://www.w3.org/1999/xhtml"
 >
 
@@ -23,25 +24,25 @@
    </span>
 </xsl:template>
 
-<xsl:template match="Sort">
+<xsl:template match="ld:Sort">
    <span class="sort">
       <xsl:call-template name="position"/>
    </span>
 </xsl:template>
 
-<xsl:template match="LRef">
+<xsl:template match="ld:LRef">
    <span class="lref">
       <xsl:call-template name="position"/>
    </span>
 </xsl:template>
 
-<xsl:template match="GRef">
+<xsl:template match="ld:GRef">
    <span class="gref">
       <xsl:call-template name="uri"/>
    </span>
 </xsl:template>
 
-<xsl:template match="Cast">
+<xsl:template match="ld:Cast">
    <span class="cast">
       <xsl:call-template name="oa"/>
       <xsl:apply-templates/>
@@ -50,7 +51,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Appl">
+<xsl:template match="ld:Appl">
    <span class="appl">
       <xsl:call-template name="op"/>
       <xsl:call-template name="mk_terms"/>
@@ -59,7 +60,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Abst">
+<xsl:template match="ld:Abst">
    <span class="local">
       <xsl:call-template name="lambda"/>
       <xsl:call-template name="mk_binder">
@@ -71,7 +72,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Abbr">
+<xsl:template match="ld:Abbr">
    <span class="local">
       <xsl:call-template name="delta"/>
       <xsl:call-template name="mk_binder">
@@ -83,7 +84,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Void">
+<xsl:template match="ld:Void">
    <span class="local">
       <xsl:call-template name="chi"/>
       <xsl:call-template name="ob"/>
-- 
2.39.2