From a007b0b0cc9b8128ca2eebf08d143d89f9c376e4 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Sat, 11 Apr 2020 21:22:35 +0200
Subject: [PATCH] Fix dead links

---
 docs/pages/pmd/userdocs/cli_reference.md                    | 2 +-
 .../java/net/sourceforge/pmd/docs/DeadLinksChecker.java     | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/docs/pages/pmd/userdocs/cli_reference.md b/docs/pages/pmd/userdocs/cli_reference.md
index 25fb1da3b0..a43c809081 100644
--- a/docs/pages/pmd/userdocs/cli_reference.md
+++ b/docs/pages/pmd/userdocs/cli_reference.md
@@ -198,5 +198,5 @@ Example:
 ## Available Report Formats
 
 PMD comes with many different renderers.
-All formats are described at [PMD Report formats](pmd_userdos_report_formats.html)
+All formats are described at [PMD Report formats](pmd_userdocs_report_formats.html)
 
diff --git a/pmd-doc/src/main/java/net/sourceforge/pmd/docs/DeadLinksChecker.java b/pmd-doc/src/main/java/net/sourceforge/pmd/docs/DeadLinksChecker.java
index 1ab25d40a6..66d8c45a7e 100644
--- a/pmd-doc/src/main/java/net/sourceforge/pmd/docs/DeadLinksChecker.java
+++ b/pmd-doc/src/main/java/net/sourceforge/pmd/docs/DeadLinksChecker.java
@@ -177,6 +177,12 @@ public class DeadLinksChecker {
                         } else {
                             linkOk = linkTarget.isEmpty() || htmlPages.contains(linkTarget);
                         }
+
+                        // maybe a local file
+                        if (!linkOk) {
+                            Path localResource = docsDirectory.resolve(linkTarget);
+                            linkOk = Files.exists(localResource);
+                        }
                     }
 
                     if (!linkOk) {