Ignore xmllint man docs on man page mirror for #1926.

usnistgov · Sep 26, 2023 · 6d7efe0 · 6d7efe0
1 parent f24dd56
commit 6d7efe0
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/build/markdown-link-check.json b/build/markdown-link-check.json
@@ -8,7 +8,10 @@
         },
         {
             "pattern": "https://help.github.com"
-        }
+        },
+        {
+            "pattern": "https://linux.die.net/man/1/xmllint/"
+        }        
     ],
     "replacementPatterns": [
         {
@@ -28,4 +31,4 @@
             "replacement": "https://github.com/usnistgov/OSCAL/tree"
         }
     ]
-}
+}