diff --git a/docs/menu.html b/docs/menu.html index 3f2596af3..8f2639c36 100755 --- a/docs/menu.html +++ b/docs/menu.html @@ -37,13 +37,22 @@