diff -r 9f7da8dc8df8 -r 7dce6c0f06fb doc/index.html --- a/doc/index.html Sun Dec 18 11:49:12 2011 +0100 +++ b/doc/index.html Sun Dec 18 11:49:46 2011 +0100 @@ -19,7 +19,7 @@