matita/help/C/TODO

   1
   2 1) in order to generated chunked html directly
   3     XHTML_XSL=http://docbook.sourceforge.net/release/xsl/current/xhtml/chunk.xsl
   4
   5 2) to obtain a better pdf, package db2latex-xsl
   6
   7 3) write a separate XSLT that includes the standard one
   8
   9 4) have a look at:
  10     svn checkout svn://svn.debian.org/svn/ddp/refcard/trunk
  11     http://people.debian.org/~debacle/ (thanks Debacle!)
  12