From 03e172581072389796cbc1d3e2d7b16956b95c8a Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 22 Sep 2009 18:42:18 +0000
Subject: [PATCH] we improved the stylesheets and we generated the static HTML
 pages

---
 helm/software/lambda-delta/Makefile           | 22 +++--
 .../lambda-delta/xml/ld-html-entry.xsl        | 11 +++
 .../lambda-delta/xml/ld-html-library.xsl      | 94 ++++++++++++++++---
 .../lambda-delta/xml/ld-html-root.xsl         | 11 +++
 .../lambda-delta/xml/ld-html-term.xsl         | 15 ++-
 helm/software/lambda-delta/xml/ld-html.xsl    | 13 ++-
 6 files changed, 146 insertions(+), 20 deletions(-)

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index a561cdd9f..74154e099 100644
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -36,11 +36,6 @@ xml-si: $(MAIN).opt
 	@echo "  HELENA -u -x $(INPUT)"
 	$(H)./$(MAIN).opt -u -x -s 2 -S 1 $(INPUT) > log.txt
 
-html: LDS = $(shell cat $<)
-
-html: xml/index.txt
-	@$(MAKE) --no-print-directory $(LDS:ld:/%=%)
-
 %.ld: BASEURL = --stringparam baseurl $(STATIC)
 
 %.ld:
@@ -48,5 +43,18 @@ html: xml/index.txt
 	$(H)mkdir -p static/$(@D)
 	$(H)$(XSLT) -o static/$@.html $(BASEURL) xml/ld-html.xsl xml/$@.xml
 
-index:
-	find xml -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > xml/index.txt
+make-html.sh xml/index.txt index:
+	@echo "  GENERATING INDEXES"
+	$(H)find xml -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > xml/index.txt
+	$(H)sed "s/^/make --no-print-directory /" xml/index.txt | sed s.ld:/.. > make-html.sh
+
+html: make-html.sh
+	@echo "  MAKE */*.ld"
+	$(H). $<
+
+test-html:
+	@$(MAKE) --no-print-directory $(XMLS:xml/%.xml=%) grundlagen/l/someapp.ld
+
+install-html:
+	@echo "  CP -r static/* /projects/helm/public_html/lambda-delta/static/"
+	$(H)cp -r static/* /projects/helm/public_html/lambda-delta/static/
diff --git a/helm/software/lambda-delta/xml/ld-html-entry.xsl b/helm/software/lambda-delta/xml/ld-html-entry.xsl
index d6dbedd45..c80119f79 100644
--- a/helm/software/lambda-delta/xml/ld-html-entry.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-entry.xsl
@@ -1,5 +1,16 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:strip-space elements="ABST ABBR VOID"/>
diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 9e09b447b..b640b0b0d 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -1,13 +1,33 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
+<xsl:variable name="sort">color: rgb(128, 0, 255);</xsl:variable>
+<xsl:variable name="cast">color: rgb(255, 0, 0);</xsl:variable>
+<xsl:variable name="binder">color: rgb(0, 160, 0);</xsl:variable>
+<xsl:variable name="global">color: rgb(0, 0, 255);</xsl:variable>
+
 <xsl:template name="sp">
    <xsl:text> </xsl:text>
 </xsl:template>
 
+<xsl:template name="sl">
+   <xsl:text>/</xsl:text>
+</xsl:template>
+
 <xsl:template name="fs">
-   <xsl:text>.</xsl:text>
+   <xsl:text>.&#x200B;</xsl:text>
 </xsl:template>
 
 <xsl:template name="op">
@@ -19,31 +39,45 @@
 </xsl:template>
 
 <xsl:template name="oa">
-   <xsl:text>&lt;</xsl:text>
+   <span style="{$cast}">
+      <xsl:text>&lt;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="ca">
-   <xsl:text>&gt;</xsl:text>
+   <span style="{$cast}">
+      <xsl:text>&gt;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="cn">
-   <xsl:text>:</xsl:text>
+   <span style="{$binder}">
+      <xsl:text>:</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="eq">
-   <xsl:text>=</xsl:text>
+   <span style="{$binder}">
+      <xsl:text>=</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="lambda">
-   <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+   <span style="{$binder}">
+      <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="delta">
-   <xsl:text disable-output-escaping="yes">&amp;delta;</xsl:text>
+   <span style="{$binder}">
+      <xsl:text disable-output-escaping="yes">&amp;delta;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="chi">
-   <xsl:text disable-output-escaping="yes">&amp;chi;</xsl:text>
+   <span style="{$binder}">
+      <xsl:text disable-output-escaping="yes">&amp;chi;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="position">
@@ -58,19 +92,57 @@
       <xsl:value-of select="substring-after(@uri,'ld:')"/>
       <xsl:text>.html</xsl:text>
    </xsl:variable>
-   <a href="{$url}"><xsl:value-of select="@name"/></a>
+   <a href="{$url}" title="{@uri}"><xsl:value-of select="@name"/></a>
 </xsl:template>
 
 <xsl:template name="binder">
    <xsl:value-of select="@name"/>
 </xsl:template>
 
+<xsl:template name="global">
+   <span style="{$global}">
+      <xsl:value-of select="@name"/>
+   </span>   
+</xsl:template>
+
+<xsl:template name="mk_segment">
+   <xsl:param name="path"/>
+   <xsl:param name="name"/>
+   <xsl:variable name="url">
+      <xsl:value-of select="$baseurl"/>
+      <xsl:value-of select="substring-after($path,'ld:')"/>
+   </xsl:variable>
+   <a href="{$url}"><xsl:value-of select="$name"/></a>
+   <xsl:call-template name="sl"/>
+</xsl:template>
+
+<xsl:template name="mk_path">
+   <xsl:param name="rpath" select="@uri"/>
+   <xsl:variable name="newrpath" select="substring-after($rpath, '/')"/>
+   <xsl:choose>
+      <xsl:when test="$newrpath">
+         <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>   
+         <xsl:call-template name="mk_segment">
+            <xsl:with-param name="path" select="substring-before(@uri,$newrpath)"/>
+            <xsl:with-param name="name" select="substring-before($segment,'/')"/>
+         </xsl:call-template>
+	 <xsl:call-template name="mk_path">
+	    <xsl:with-param name="rpath" select="substring-after($rpath,'/')"/>
+	 </xsl:call-template>
+      </xsl:when>
+      <xsl:otherwise>
+         <xsl:variable name="path" select="substring-before(@uri,$rpath)"/>
+	 <xsl:value-of select="substring-after(@uri,$path)"/>
+      </xsl:otherwise>
+   </xsl:choose>
+</xsl:template>
+
 <xsl:template name="entry">
    <xsl:call-template name="sp"/>
-   <xsl:call-template name="uri"/>
+   <xsl:call-template name="global"/>
    <xsl:call-template name="sp"/>
    <xsl:call-template name="op"/>
-   <xsl:value-of select="@uri"/>
+   <xsl:call-template name="mk_path"/>
    <xsl:call-template name="cp"/>
 </xsl:template>
 
diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl
index 3a8cf88a2..8ee5ebcae 100644
--- a/helm/software/lambda-delta/xml/ld-html-root.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-root.xsl
@@ -1,5 +1,16 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:strip-space elements="ENTRY"/>
diff --git a/helm/software/lambda-delta/xml/ld-html-term.xsl b/helm/software/lambda-delta/xml/ld-html-term.xsl
index a83c08088..083e7290f 100644
--- a/helm/software/lambda-delta/xml/ld-html-term.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-term.xsl
@@ -1,11 +1,24 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
 
 <xsl:template match="Sort">
-   <b><xsl:call-template name="position"/></b>
+   <span style="{$sort}">
+      <xsl:call-template name="position"/>
+   </span>
 </xsl:template>
 
 <xsl:template match="LRef">
diff --git a/helm/software/lambda-delta/xml/ld-html.xsl b/helm/software/lambda-delta/xml/ld-html.xsl
index b66dd6f52..f166025db 100644
--- a/helm/software/lambda-delta/xml/ld-html.xsl
+++ b/helm/software/lambda-delta/xml/ld-html.xsl
@@ -1,5 +1,16 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:param name="baseurl"/>
@@ -11,7 +22,7 @@
 
 <xsl:output 
    method="html"
-   doctype-system="html"
+   doctype-system="http://www.w3.org/TR/html4/loose.dtd"
    doctype-public="-//W3C//DTD HTML 4.01 Transitional//EN"
    encoding="UTF-8"
    indent="no"
-- 
2.39.2