From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 14 May 2006 04:29:40 +0000 (+0000)
Subject: todo list about doc
X-Git-Tag: 0.4.95@7852~1473
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4926e2cd832f94c75dc5354619f37e4f24ad4853;p=helm.git

todo list about doc
---

diff --git a/matita/help/C/TODO b/matita/help/C/TODO
new file mode 100644
index 000000000..c7dd3acc8
--- /dev/null
+++ b/matita/help/C/TODO
@@ -0,0 +1,6 @@
+
+1) in order to generated chunked html directly
+    XHTML_XSL=http://docbook.sourceforge.net/release/xsl/current/xhtml/chunk.xsl
+
+2) to obtain a better pdf, package db2latex-xsl
+