Update documentation

https://github.com/pmd/pmd/actions/runs/3479124976 bdbeef6235...9d8ff6c4a6
2022-11-16 12:15:59 +00:00
parent 38764ac2f3
commit 8cfeb5818b
133 changed files with 139 additions and 134 deletions
--- a/pmd_devdocs_building.html
+++ b/pmd_devdocs_building.html
@@ -1670,7 +1670,7 @@ They’re also in the jar file that’s included with both the source and binary
        <div class="col-lg-12 footer">
            &copy;2022 PMD Open Source Project. All rights
            reserved. <br />
-             Site last generated: Nov 12, 2022 <br />
+             Site last generated: Nov 16, 2022 <br />
            <p>
                <img src="images/pmd-logo-small.png" alt="Company
                logo"/>