diff --git a/doc/xdocs/navigation.xml b/doc/xdocs/navigation.xml index b8dd57c905..9a116ff222 100644 --- a/doc/xdocs/navigation.xml +++ b/doc/xdocs/navigation.xml @@ -53,7 +53,7 @@ - +