Index: trunk/doc/user/index_pdf.html =================================================================== --- trunk/doc/user/index_pdf.html (nonexistent) +++ trunk/doc/user/index_pdf.html (revision 30720) @@ -0,0 +1,21 @@ + + +
++The pdf version of the user documentation is converted from the + html version. +
+
++Note: each file cotnains a Table of Contents at the end of the +file.