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