diff --git a/doc/xdocs/navigation.xml b/doc/xdocs/navigation.xml index a2d4ee8723..dceadd0737 100644 --- a/doc/xdocs/navigation.xml +++ b/doc/xdocs/navigation.xml @@ -30,7 +30,7 @@