diff --git a/docs/_includes/nav-docs.html b/docs/_includes/nav-docs.html index fa29841883..b4f4d1f9ec 100644 --- a/docs/_includes/nav-docs.html +++ b/docs/_includes/nav-docs.html @@ -25,6 +25,7 @@