diff --git a/docs/index.html.in b/docs/index.html.in index cc19aad2ec..e9a160384c 100644 --- a/docs/index.html.in +++ b/docs/index.html.in @@ -7,13 +7,13 @@