]> matita.cs.unibo.it Git - helm.git/commitdiff
todo list about doc
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 May 2006 04:29:40 +0000 (04:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 May 2006 04:29:40 +0000 (04:29 +0000)
matita/help/C/TODO [new file with mode: 0644]

diff --git a/matita/help/C/TODO b/matita/help/C/TODO
new file mode 100644 (file)
index 0000000..c7dd3ac
--- /dev/null
@@ -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
+