From bfcb2bf3391de8f0c4de9b8d35ea44ddc71a4291 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sun, 14 May 2006 04:29:40 +0000 Subject: [PATCH] todo list about doc --- helm/software/matita/help/C/TODO | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 helm/software/matita/help/C/TODO 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 + -- 2.39.2