Update documentation

https://github.com/pmd/pmd/actions/runs/819967713 d69325f03a...bf10745ade
2021-05-07 11:00:19 +00:00
parent 0faf0277be
commit f65e7e8b52
120 changed files with 124 additions and 121 deletions
--- a/tag_metrics.html
+++ b/tag_metrics.html
@@ -1912,7 +1912,7 @@ $('#toc').toc({ minimumHeaders: 0, listType: 'ul', showSpeed: 0, headers: 'h2,h3
            <div class="row">
                <div class="col-lg-12 footer">
               &copy;2021 PMD Open Source Project. All rights reserved. <br />
- Site last generated: May 6, 2021 <br />
+ Site last generated: May 7, 2021 <br />
 <p><img src="images/pmd-logo-small.png" alt="Company logo"/></p>
                </div>
            </div>