Index: trunk/doc/user/index.html =================================================================== --- trunk/doc/user/index.html (revision 30668) +++ trunk/doc/user/index.html (revision 30669) @@ -14,11 +14,11 @@