# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1644006048 -3600
# Node ID f31bb79f51d7d10a71e5da4a06c25baf9aa371f8
# Parent  c78639ee6ccb2c2bee0823b7130f46a815499473
tools: Allow processing instructions in some XML parsing tools

IANA registry files have XSLT references, which are harmless to ignore.

diff -r c78639ee6ccb -r f31bb79f51d7 tools/dnsregistry.lua
--- a/tools/dnsregistry.lua	Fri Feb 04 20:47:39 2022 +0100
+++ b/tools/dnsregistry.lua	Fri Feb 04 21:20:48 2022 +0100
@@ -1,6 +1,6 @@
 -- Generate util/dnsregistry.lua from IANA HTTP status code registry
 local xml = require "util.xml";
-local registries = xml.parse(io.read("*a"));
+local registries = xml.parse(io.read("*a"), { allow_processing_instructions = true });
 
 print("-- Source: https://www.iana.org/assignments/dns-parameters/dns-parameters.xml");
 print(os.date("-- Generated on %Y-%m-%d"))
diff -r c78639ee6ccb -r f31bb79f51d7 tools/http-status-codes.lua
--- a/tools/http-status-codes.lua	Fri Feb 04 20:47:39 2022 +0100
+++ b/tools/http-status-codes.lua	Fri Feb 04 21:20:48 2022 +0100
@@ -1,7 +1,7 @@
 -- Generate net/http/codes.lua from IANA HTTP status code registry
 
 local xml = require "util.xml";
-local registry = xml.parse(io.read("*a"));
+local registry = xml.parse(io.read("*a"), { allow_processing_instructions = true });
 
 io.write([[