Update documentation

https://github.com/pmd/pmd/actions/runs/3639414762 30b78ddec3...3f525dfdbb
2022-12-07 14:00:28 +00:00
parent 42263e0ea6
commit 908cf533b7
133 changed files with 138 additions and 135 deletions
--- a/tag_metrics.html
+++ b/tag_metrics.html
@@ -2141,7 +2141,7 @@
        <div class="col-lg-12 footer">
            &copy;2022 PMD Open Source Project. All rights
            reserved. <br />
-             Site last generated: Dec 1, 2022 <br />
+             Site last generated: Dec 7, 2022 <br />
            <p>
                <img src="images/pmd-logo-small.png" alt="Company
                logo"/>