Index: doc/index.html =================================================================== --- doc/index.html (revision 1445) +++ doc/index.html (revision 1446) @@ -36,7 +36,7 @@ -