diff --git a/doc/xdocs/navigation.xml b/doc/xdocs/navigation.xml index 895dc180dd..408eb90175 100644 --- a/doc/xdocs/navigation.xml +++ b/doc/xdocs/navigation.xml @@ -28,14 +28,18 @@