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()))