web site update

[helm.git] / helm / www / lambdadelta / xslt / ld_web.xsl

diff --git a/helm/www/lambdadelta/xslt/ld_web.xsl b/helm/www/lambdadelta/xslt/ld_web.xsl
index dd091dcd30927f8cf008d71a9c306648125b0bc8..61c64b8fb0b34a8b939f52524377fb1d560eb313 100644 (file)
--- a/helm/www/lambdadelta/xslt/ld_web.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web.xsl
@@ -7,7 +7,10 @@
 <xsl:param name="baseurl"/>
 <xsl:param name="date"/>
 
+<xsl:strip-space elements="*"/>
+
 <xsl:include href="xhtbl.xsl"/>
+<xsl:include href="ld_web_ebnf.xsl"/>
 <xsl:include href="ld_web_library.xsl"/>
 <xsl:include href="ld_web_root.xsl"/>
 
@@ -16,7 +19,6 @@
    doctype-public="-//W3C//DTD XHTML 1.1//EN"
    doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"   
    encoding="UTF-8"
-   indent="yes"
 />
 
 </xsl:stylesheet>