filled README, BUGS, and other files useful for the distribution

[helm.git] / matita / help / C / matita-xhtml.xsl

diff --git a/matita/help/C/matita-xhtml.xsl b/matita/help/C/matita-xhtml.xsl
index e67b4897331a47aaa1095be8ec39aff51116542c..099c390f08b939b3164b042b43061c7160665dd3 100644 (file)
--- a/matita/help/C/matita-xhtml.xsl
+++ b/matita/help/C/matita-xhtml.xsl
@@ -7,6 +7,7 @@
 
   <xsl:param name="use.id.as.filename" select="1" />
   <xsl:param name="html.stylesheet">docbook.css</xsl:param>
+  <xsl:param name="table.borders.with.css" select="1" />
   <!--
   <xsl:param name="header.rule" select="0" />
   <xsl:param name="footer.rule" select="0" />