X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fxsl%2Fmatita-tex.xsl;fp=matita%2Fhelp%2FC%2Fxsl%2Fmatita-tex.xsl;h=5f51e7cbc00b65417288f9fdb9c9984ee4347689;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/matita/help/C/xsl/matita-tex.xsl b/matita/help/C/xsl/matita-tex.xsl
new file mode 100644
index 000000000..5f51e7cbc
--- /dev/null
+++ b/matita/help/C/xsl/matita-tex.xsl
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="utf-8"?>
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0">
+
+  <xsl:import href="http://db2latex.sourceforge.net/xsl/docbook.xsl"/>
+  <xsl:output method="text" encoding="utf-8" indent="yes"/>
+
+  <xsl:param name="admon.graphics.path">/usr/share/xml/docbook/stylesheet/db2latex/latex/figures</xsl:param>
+
+  <xsl:param name="latex.inputenc">utf8x</xsl:param>
+  <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>