From dd1ca20dfee9f05d0aa9df5b1f4d5215c181162e Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Thu, 8 Nov 2012 23:55:36 -0500
Subject: [PATCH] XSLT stylesheet: Add slash to directory name

Some versions of the XSLT stylesheets don't handle the missing slash
correctly (they concatenate directory and file name without the slash).
This might never have worked correctly.
---
 doc/src/sgml/stylesheet.xsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl
index 19cb5b0f649..2911af0f593 100644
--- a/doc/src/sgml/stylesheet.xsl
+++ b/doc/src/sgml/stylesheet.xsl
@@ -9,7 +9,7 @@
 
 
 <!-- Parameters -->
-<xsl:param name="base.dir" select="'html'"></xsl:param>
+<xsl:param name="base.dir" select="'html/'"></xsl:param>
 <xsl:param name="html.stylesheet" select="'stylesheet.css'"></xsl:param>
 <xsl:param name="use.id.as.filename" select="'1'"></xsl:param>
 <xsl:param name="make.valid.html" select="1"></xsl:param>
-- 
2.39.5