diff --git a/doc/xdocs/navigation.xml b/doc/xdocs/navigation.xml index 02a5db809f..1377018f47 100644 --- a/doc/xdocs/navigation.xml +++ b/doc/xdocs/navigation.xml @@ -47,6 +47,7 @@ +