Index: doc/index.html =================================================================== --- doc/index.html (revision 36775) +++ doc/index.html (revision 36776) @@ -39,7 +39,7 @@ -