diff --git a/docs/menu.html b/docs/menu.html index 7f26b9e9a..c8fa241f4 100755 --- a/docs/menu.html +++ b/docs/menu.html @@ -182,7 +182,7 @@