From b512c5a623a411cf8473367ac5bb6d8c9c7f7721 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 7 Aug 2010 11:37:52 +0000 Subject: [PATCH] some inprovements on the generated html pages --- helm/software/lambda-delta/Makefile | 2 ++ .../lambda-delta/xml/ld-html-entity.xsl | 2 ++ .../lambda-delta/xml/ld-html-library.xsl | 4 ++++ .../lambda-delta/xml/ld-html-root.xsl | 23 ++++++++++++------- 4 files changed, 23 insertions(+), 8 deletions(-) diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile index 353b70187..a690738d3 100644 --- a/helm/software/lambda-delta/Makefile +++ b/helm/software/lambda-delta/Makefile @@ -23,6 +23,8 @@ XMLS = xml/brg-si/grundlagen/l/not.ld.xml \ include Makefile.common +LDDLDIR = ../../../public_html/lddl + HOME = . INPUT = examples/grundlagen/grundlagen.aut diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/lambda-delta/xml/ld-html-entity.xsl index ac30dacbf..84eea2c23 100644 --- a/helm/software/lambda-delta/xml/ld-html-entity.xsl +++ b/helm/software/lambda-delta/xml/ld-html-entity.xsl @@ -20,6 +20,7 @@ Declaration: +
@@ -28,6 +29,7 @@ Definition: +
diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl index cf6857d65..86e7c449d 100644 --- a/helm/software/lambda-delta/xml/ld-html-library.xsl +++ b/helm/software/lambda-delta/xml/ld-html-library.xsl @@ -148,4 +148,8 @@ + +
Informal description: ""

+ + diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl index 13668ee51..1c7423397 100644 --- a/helm/software/lambda-delta/xml/ld-html-root.xsl +++ b/helm/software/lambda-delta/xml/ld-html-root.xsl @@ -24,16 +24,23 @@ href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico" /> -

- + -

-
+

λδ Digital Library (LDDL)

+ [Separator] +
+ +

[Valid HTML 4.01 Transitional] -

+

-- 2.39.2