diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index 9ae7c4ccdb..a60547ff33 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -17,6 +17,7 @@