Index: trunk/doc/doc.html =================================================================== --- trunk/doc/doc.html (revision 5644) +++ trunk/doc/doc.html (revision 5645) @@ -26,6 +26,7 @@