Update documentation

https://github.com/pmd/pmd/actions/runs/9646547730 c2dc7b3d9b...648e2ebd6a
2024-06-24 14:11:59 +00:00
parent ab9b1f4277
commit ee008430d8
172 changed files with 397 additions and 330 deletions
--- a/pmd_devdocs_development.html
+++ b/pmd_devdocs_development.html
@@ -1968,7 +1968,7 @@ every push. Each pull request is built as well.</p>
            &copy;2024 PMD Open Source Project. All rights
            reserved. <br />
            <span>Page last updated:</span>
-            March 2024<br /> Site last generated: Jun 20, 2024 <br />
+            March 2024<br /> Site last generated: Jun 24, 2024 <br />
            <p>
                <img src="images/logo/pmd-logo-70px.png" alt="PMD
                logo"/>