From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 14 May 2006 04:29:40 +0000 (+0000)
Subject: todo list about doc
X-Git-Tag: make_still_working~7373
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=bfcb2bf3391de8f0c4de9b8d35ea44ddc71a4291;hp=2d7785bad7cede0196be80375c26dff8e4908d4c;p=helm.git

todo list about doc
---

diff --git a/helm/software/matita/help/C/TODO b/helm/software/matita/help/C/TODO
new file mode 100644
index 000000000..c7dd3acc8
--- /dev/null
+++ b/helm/software/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
+