From 5e6514baae1be6e18b9fe8b6c99d61cfa62cdabc Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 30 May 2006 16:50:33 +0000 Subject: [PATCH] 1. the default encoding for the stylesheets is now UTF8 2. committed a few changes in search.xsl that had never been committed before --- daemons/on-line/README | 2 ++ daemons/on-line/html/cic/control.html | 2 +- daemons/on-line/xslt/getParam.xsl | 2 +- daemons/on-line/xslt/ls2theory.xsl | 5 +++- daemons/on-line/xslt/makeGraphLinks.xsl | 2 +- daemons/on-line/xslt/metadataControl.xsl | 2 +- daemons/on-line/xslt/search.xsl | 10 ++++++- daemons/on-line/xslt/substKey.xsl | 4 +-- daemons/on-line/xslt/toplevel_header.xsl | 36 ++++++++++++------------ 9 files changed, 39 insertions(+), 26 deletions(-) create mode 100644 daemons/on-line/README diff --git a/daemons/on-line/README b/daemons/on-line/README new file mode 100644 index 000000000..3d6d4d49e --- /dev/null +++ b/daemons/on-line/README @@ -0,0 +1,2 @@ +All these files are directly served by Apache (or a redirect demon +as the one in /projects/helm/utils or webfsd). diff --git a/daemons/on-line/html/cic/control.html b/daemons/on-line/html/cic/control.html index 8e6aeaf1f..f77371025 100644 --- a/daemons/on-line/html/cic/control.html +++ b/daemons/on-line/html/cic/control.html @@ -96,7 +96,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }