diff --git a/doc/index.html b/doc/index.html index 5811812..f3737f2 100644 --- a/doc/index.html +++ b/doc/index.html @@ -32,6 +32,9 @@