diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index 724b1d7024..c84c7031fc 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -16,5 +16,12 @@ +