the Matita manual is now convertible to a decent .tex that is processable both

[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 94129a312570befb95984b02011cbcf76bf81a5a..79a402178962c7471a133a3f9c39af3705563c24 100644 (file)
--- a/helm/software/matita/help/C/matita-tex.xsl
+++ b/helm/software/matita/help/C/matita-tex.xsl
@@ -6,4 +6,9 @@
 
   <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:stylesheet>