use the install target of the manual

[helm.git] / helm / software / matita / help / C / matita-tex.xsl

diff --git a/helm/software/matita/help/C/matita-tex.xsl b/helm/software/matita/help/C/matita-tex.xsl
index 79a402178962c7471a133a3f9c39af3705563c24..5f51e7cbc00b65417288f9fdb9c9984ee4347689 100644 (file)
--- a/helm/software/matita/help/C/matita-tex.xsl
+++ b/helm/software/matita/help/C/matita-tex.xsl
@@ -10,5 +10,22 @@
   <xsl:param name="latex.book.preamble.post">\usepackage{txfonts}
 \SetUnicodeOption{mathletters} % prefer math-mode letters
 </xsl:param>
+  <xsl:param name="ulink.show">0</xsl:param>
+
+  <!-- proper alignment of tables used for grammars -->
+
+  <xsl:template match="tgroup[../@role='grammar']">
+    <xsl:text>\begin{tabular}{rcll}
+</xsl:text>
+    <xsl:apply-templates />
+    <xsl:text>\end{tabular}
+</xsl:text>
+  </xsl:template>
+
+  <xsl:template match="variablelist/title">
+    <xsl:text>\paragraph*{</xsl:text>
+    <xsl:apply-templates />
+    <xsl:text>} </xsl:text>
+  </xsl:template>
 
 </xsl:stylesheet>