diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index 1ab1236d09..f9a8358380 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -74,6 +74,7 @@ +