From f183ee96e2c228309f9ac0a0f5409d19c6ed3613 Mon Sep 17 00:00:00 2001
From: Leo Galambos <lg@hq.egothor.org>
Date: Tue, 14 Apr 2026 01:30:13 +0200
Subject: [PATCH] docs: PMD URL fixed

---
 .github/workflows/pages.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 3ef7723..fbceeae 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -109,7 +109,7 @@ jobs:
             <ul>
               <li><a href="./javadoc/">Javadoc</a></li>
               <li><a href="./test/">Test Report</a></li>
-              <li><a href="./pmd/">PMD Report</a></li>
+              <li><a href="./pmd/main.html">PMD Report</a></li>
               <li><a href="./coverage/">Coverage Report</a></li>
               $( [ "${HAS_JMH}" = "true" ] && echo '<li><a href="./jmh/">Benchmark Report</a></li>' || echo '<li>Benchmark Report: not available in this build</li>' )
             </ul>
@@ -151,7 +151,7 @@ jobs:
               <li><a href="./builds/latest/">Latest build summary</a></li>
               <li><a href="./builds/latest/javadoc/">Javadoc</a></li>
               <li><a href="./builds/latest/test/">Test Report</a></li>
-              <li><a href="./builds/latest/pmd/">PMD Report</a></li>
+              <li><a href="./builds/latest/pmd/main.html">PMD Report</a></li>
               <li><a href="./builds/latest/coverage/">Coverage Report</a></li>
           EOF