diff --git a/docs/index.html b/docs/index.html index eb2d6e53..3c64c28b 100644 --- a/docs/index.html +++ b/docs/index.html @@ -186,7 +186,7 @@ grep '^# ' index.html | grep -v '.dab`