diff --git a/_includes/docs_menu.html b/_includes/docs_menu.html index 016d1ca68..62dbde929 100644 --- a/_includes/docs_menu.html +++ b/_includes/docs_menu.html @@ -49,15 +49,27 @@