Index: trunk/doc/user/index.html =================================================================== --- trunk/doc/user/index.html (revision 939) +++ trunk/doc/user/index.html (revision 940) @@ -12,4 +12,11 @@