diff --git a/doc/sidebar.html b/doc/sidebar.html index 86bedf3e6d..02f9bc3276 100644 --- a/doc/sidebar.html +++ b/doc/sidebar.html @@ -221,6 +221,12 @@ when the sidebar is built for each page. + +