diff --git a/docs/index.html.in b/docs/index.html.in index 8333cf6bb72fc4b881bde90c213fc91bf5d7553b..c0c55cb148878c3466d51216fd51d75614e739ac 100644 --- a/docs/index.html.in +++ b/docs/index.html.in @@ -2,9 +2,9 @@