From 4926e2cd832f94c75dc5354619f37e4f24ad4853 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 14 May 2006 04:29:40 +0000
Subject: [PATCH] todo list about doc

---
 matita/help/C/TODO | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 matita/help/C/TODO

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
+
-- 
2.39.2