Update documentation

https://github.com/pmd/pmd/actions/runs/5022448181 e8c0d5787b...e431831a69
2023-05-19 09:58:17 +00:00
parent 7704b91548
commit 26873e0cfe
145 changed files with 3859 additions and 314 deletions
--- a/pmd_projectdocs_trivia_news.html
+++ b/pmd_projectdocs_trivia_news.html
@@ -1230,6 +1230,18 @@

            
            
+            
+
+            
+
+                
+                <li><a href="pmd_languages_coco.html">Coco</a></li>
+                
+
+            
+
+            
+            
        </ul>
     </li>
       
@@ -1796,7 +1808,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: May 12, 2023 <br />
+             Site last generated: May 19, 2023 <br />
            <p>
                <img src="images/logo/pmd-logo-70px.png" alt="PMD
                logo"/>