Update documentation

https://github.com/pmd/pmd/actions/runs/6656145421 20a7f612d8...df52c374ee
2023-10-26 15:42:49 +00:00
parent 05ac5e5e22
commit ea23404e43
170 changed files with 2869 additions and 2857 deletions
--- a/pmd_projectdocs_trivia_news.html
+++ b/pmd_projectdocs_trivia_news.html
@@ -2059,7 +2059,7 @@ interview with Ole-Martin and Tom</p>
        <div class="col-lg-12 footer">
            &copy;2023 PMD Open Source Project. All rights
            reserved. <br />
-             Site last generated: Oct 20, 2023 <br />
+             Site last generated: Oct 26, 2023 <br />
            <p>
                <img src="images/logo/pmd-logo-70px.png" alt="PMD
                logo"/>