diff --git a/doc/index.html b/doc/index.html index 0eb51097..e98ca1e3 100644 --- a/doc/index.html +++ b/doc/index.html @@ -2,9 +2,9 @@