Update documentation

https://github.com/pmd/pmd/actions/runs/3929203000 d73095a69f...8b7b0c7d5c
2023-01-16 10:17:57 +00:00
parent 2417451b5c
commit f94ea5af56
133 changed files with 140 additions and 134 deletions
--- a/index.html
+++ b/index.html
@@ -7109,7 +7109,7 @@ $('#filter a').click(function (e) {
            &copy;2023 PMD Open Source Project. All rights
            reserved. <br />
            <span>Page last updated:</span>
-            October 2022<br /> Site last generated: Jan 14, 2023 <br />
+            October 2022<br /> Site last generated: Jan 16, 2023 <br />
            <p>
                <img src="images/pmd-logo-small.png" alt="Company
                logo"/>