From 468224e76a6c29abe48f7b1fdf95986e7536fb41 Mon Sep 17 00:00:00 2001
From: Steve Ramage <gitcommits@sjrx.net>
Date: Sat, 28 Jun 2025 12:56:56 -0700
Subject: [PATCH] ci: stop builds from failing due to being unable to load dtd
 (Resolves #369)

---
 buildSrc/src/main/groovy/GenerateDataFromManPages.groovy | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/buildSrc/src/main/groovy/GenerateDataFromManPages.groovy b/buildSrc/src/main/groovy/GenerateDataFromManPages.groovy
index 7cc4b36e..bf0252f6 100644
--- a/buildSrc/src/main/groovy/GenerateDataFromManPages.groovy
+++ b/buildSrc/src/main/groovy/GenerateDataFromManPages.groovy
@@ -521,6 +521,8 @@ class GenerateDataFromManPages extends DefaultTask {
     try {
       DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance()
       factory.setNamespaceAware(true) // Needed for XML ID lookup
+      factory.setValidating(false);
+      factory.setFeature("http://apache.org/xml/features/nonvalidating/load-external-dtd", false);
       DocumentBuilder builder = factory.newDocumentBuilder()
 
       Document document = builder.parse(new InputSource(xmlFile.newReader()))