diff --git a/doc/index.html b/doc/index.html index 6a07a209..58ec73b5 100644 --- a/doc/index.html +++ b/doc/index.html @@ -42,7 +42,7 @@ Tutorial