branch for universe

[helm.git] / matita / help / C / TODO

diff --git a/matita/help/C/TODO b/matita/help/C/TODO
new file mode 100644 (file)
index 0000000..73c4146
--- /dev/null
+++ b/matita/help/C/TODO
@@ -0,0 +1,12 @@
+
+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
+
+3) write a separate XSLT that includes the standard one
+
+4) have a look at:
+    svn checkout svn://svn.debian.org/svn/ddp/refcard/trunk
+    http://people.debian.org/~debacle/ (thanks Debacle!)
+