commit 7b602b421ea8bf202a093b55500754ba89053ead
author Daniel Veillard <veillard@src.gnome.org> Tue Jan 08 13:26:00 2002 +0000
committer Daniel Veillard <veillard@src.gnome.org> Tue Jan 08 13:26:00 2002 +0000
tree 3a0edb075513a109f94faff43fb3110e317d097f
parent 73c6e53aff56602b6d2a4437018456344274f110

renamed XML.html output page into XMLinfo.html. Close bug #66951 and

* doc/*.html doc/site.xsl doc/Makefile: renamed XML.html
  output page into XMLinfo.html. Close bug #66951 and
  raised by Robert Collins too.
Daniel

doc/site.xsl

diff --git a/doc/site.xsl b/doc/site.xsl
index d882f2e..3d99ffb 100644
--- a/doc/site.xsl
+++ b/doc/site.xsl
@@ -41,7 +41,7 @@
         <xsl:text>XSLT.html</xsl:text>
       </xsl:when>
       <xsl:when test="$name = '#XML'">
-        <xsl:text>XML.html</xsl:text>
+        <xsl:text>XMLinfo.html</xsl:text>
       </xsl:when>
       <xsl:when test="$name = '#Validation'">
         <xsl:text>xmldtd.html</xsl:text>