diff --git a/doc/xdocs/navigation.xml b/doc/xdocs/navigation.xml index b05e271c06..adc3f8fa83 100644 --- a/doc/xdocs/navigation.xml +++ b/doc/xdocs/navigation.xml @@ -51,6 +51,7 @@ +