From a5882aa48b35df5d3f0bc9cb0731c492cc70f3f8 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 20 Jun 2023 09:27:12 -0700
Subject: [PATCH] Add patches for agda.xml and dtd.xml.

This is to work around a bug in xml-conduit:
https://github.com/snoyberg/xml/pull/187
---
 skylighting-core/xml/agda.xml       |  2 +-
 skylighting-core/xml/agda.xml.patch | 11 +++++++++++
 skylighting-core/xml/dtd.xml        |  2 +-
 skylighting-core/xml/dtd.xml.patch  | 11 +++++++++++
 4 files changed, 24 insertions(+), 2 deletions(-)
 create mode 100644 skylighting-core/xml/agda.xml.patch
 create mode 100644 skylighting-core/xml/dtd.xml.patch

diff --git a/skylighting-core/xml/agda.xml b/skylighting-core/xml/agda.xml
index 194aae55..e15777b5 100644
--- a/skylighting-core/xml/agda.xml
+++ b/skylighting-core/xml/agda.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE language[
+<!DOCTYPE language [
   <!ENTITY charsdelim "_;.&#34;(){}@">
   <!ENTITY wordsep "(?=[&charsdelim;]|\s|$)">
 ]>
diff --git a/skylighting-core/xml/agda.xml.patch b/skylighting-core/xml/agda.xml.patch
new file mode 100644
index 00000000..ee1f89ba
--- /dev/null
+++ b/skylighting-core/xml/agda.xml.patch
@@ -0,0 +1,11 @@
+diff --git a/skylighting-core/xml/agda.xml b/skylighting-core/xml/agda.xml
+index 194aae5..e15777b 100644
+--- a/skylighting-core/xml/agda.xml
++++ b/skylighting-core/xml/agda.xml
+@@ -1,5 +1,5 @@
+ <?xml version="1.0" encoding="UTF-8"?>
+-<!DOCTYPE language[
++<!DOCTYPE language [
+   <!ENTITY charsdelim "_;.&#34;(){}@">
+   <!ENTITY wordsep "(?=[&charsdelim;]|\s|$)">
+ ]>
diff --git a/skylighting-core/xml/dtd.xml b/skylighting-core/xml/dtd.xml
index 0526efc6..15c82a14 100644
--- a/skylighting-core/xml/dtd.xml
+++ b/skylighting-core/xml/dtd.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<!DOCTYPE language[
+<!DOCTYPE language [
   <!ENTITY nmtoken "[\-\w\d\.:_]+">
   <!ENTITY entref  "(#[0-9]+|#[xX][0-9A-Fa-f]+|&nmtoken;);">
 ]>
diff --git a/skylighting-core/xml/dtd.xml.patch b/skylighting-core/xml/dtd.xml.patch
new file mode 100644
index 00000000..2ac22614
--- /dev/null
+++ b/skylighting-core/xml/dtd.xml.patch
@@ -0,0 +1,11 @@
+diff --git a/skylighting-core/xml/dtd.xml b/skylighting-core/xml/dtd.xml
+index 0526efc..15c82a1 100644
+--- a/skylighting-core/xml/dtd.xml
++++ b/skylighting-core/xml/dtd.xml
+@@ -1,5 +1,5 @@
+ <?xml version="1.0" encoding="utf-8"?>
+-<!DOCTYPE language[
++<!DOCTYPE language [
+   <!ENTITY nmtoken "[\-\w\d\.:_]+">
+   <!ENTITY entref  "(#[0-9]+|#[xX][0-9A-Fa-f]+|&nmtoken;);">
+ ]>