Update documentation

https://github.com/pmd/pmd/actions/runs/1155795256 5770785847...2636fde5d9
2021-08-22 13:21:24 +00:00
parent c6e06bd9f4
commit ad26da8b5b
120 changed files with 213 additions and 121 deletions
--- a/pmd_userdocs_tools_ci.html
+++ b/pmd_userdocs_tools_ci.html
@@ -1466,7 +1466,7 @@ result of the PMD maven plugin.</p>
            <div class="row">
                <div class="col-lg-12 footer">
               &copy;2021 PMD Open Source Project. All rights reserved. <br />
- Site last generated: Aug 19, 2021 <br />
+ Site last generated: Aug 22, 2021 <br />
 <p><img src="images/pmd-logo-small.png" alt="Company logo"/></p>
                </div>
            </div>