diff --git a/doc/xdocs/navigation.xml b/doc/xdocs/navigation.xml index ed31e73d8f..8f37c06f67 100644 --- a/doc/xdocs/navigation.xml +++ b/doc/xdocs/navigation.xml @@ -45,6 +45,7 @@ +