Index: doc/index.html.in =================================================================== --- doc/index.html.in (revision 10356) +++ doc/index.html.in (working copy) @@ -100,7 +100,7 @@