diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index a60547ff33..b1d9c7bfa7 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -29,6 +29,7 @@ + @@ -40,6 +41,7 @@ +