diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index 63e54c4d68..16ee12ecc6 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -14,6 +14,7 @@ +