Update documentation

https://github.com/pmd/pmd/actions/runs/823490315 bf10745ade...03cb11660e
2021-05-08 17:13:48 +00:00
parent f65e7e8b52
commit 65e1825230
120 changed files with 185 additions and 128 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 7, 2021 <br />
+ Site last generated: May 8, 2021 <br />
 <p><img src="images/pmd-logo-small.png" alt="Company logo"/></p>
                </div>
            </div>