diff --git a/docs/index.html b/docs/index.html index 7c263185a..3f3c0ed0f 100755 --- a/docs/index.html +++ b/docs/index.html @@ -3,6 +3,16 @@ + + + + @@ -259,4 +269,4 @@

Indices and tables