diff --git a/documentation/index.html b/documentation/index.html index 3a6d9fe16a..438fcf7e8e 100755 --- a/documentation/index.html +++ b/documentation/index.html @@ -54,13 +54,13 @@

User guides