diff --git a/_includes/docs_menu.html b/_includes/docs_menu.html index b8026fc6f..8f1db8880 100644 --- a/_includes/docs_menu.html +++ b/_includes/docs_menu.html @@ -22,6 +22,9 @@