Update documentation

https://github.com/pmd/pmd/actions/runs/1477619770 f18ceebd7b...7609a24970
2021-11-18 17:56:28 +00:00
parent 64c45d79e7
commit 443c1d0faa
124 changed files with 867 additions and 854 deletions
--- a/pmd_projectdocs_trivia_meaning.html
+++ b/pmd_projectdocs_trivia_meaning.html
@@ -1475,7 +1475,7 @@ really know.  We just think the letters sound good together.</p>
            <div class="row">
                <div class="col-lg-12 footer">
               &copy;2021 PMD Open Source Project. All rights reserved. <br />
- Site last generated: Nov 1, 2021 <br />
+ Site last generated: Nov 18, 2021 <br />
 <p><img src="images/pmd-logo-small.png" alt="Company logo"/></p>
                </div>
            </div>