Update documentation

https://github.com/pmd/pmd/actions/runs/2559874517 07eb3d2d80...a5006f6383
2022-06-25 07:48:04 +00:00
parent cf16d96f98
commit b24f5779d2
127 changed files with 793 additions and 782 deletions
--- a/tag_metrics.html
+++ b/tag_metrics.html
@@ -174,7 +174,7 @@


 <ul id="mysidebar" class="nav">
-    <li class="sidebarTitle">PMD 6.47.0-SNAPSHOT</li>
+    <li class="sidebarTitle">PMD 6.47.0</li>
    <div class="sidebarTitleDate">Release date: 25-June-2022</div>
    
    
@@ -2039,7 +2039,7 @@
        <div class="col-lg-12 footer">
            &copy;2022 PMD Open Source Project. All rights
            reserved. <br />
-             Site last generated: Jun 24, 2022 <br />
+             Site last generated: Jun 25, 2022 <br />
            <p>
                <img src="images/pmd-logo-small.png" alt="Company
                logo"/>