Index: trunk/doc/user/index.html =================================================================== --- trunk/doc/user/index.html (revision 11938) +++ trunk/doc/user/index.html (revision 11939) @@ -16,7 +16,7 @@