From f1de9e5e9b2a876733a0005bfe51956a26ffd972 Mon Sep 17 00:00:00 2001
From: Max-Ferdinand Zeterberg <zeterberg@sub.uni-goettingen.de>
Date: Wed, 24 Apr 2024 10:29:25 +0200
Subject: [PATCH] feat(elem.ref): allow elem.hi as child element
---
schema/edxml.rng | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/schema/edxml.rng b/schema/edxml.rng
index 1244e66..309a8b9 100644
--- a/schema/edxml.rng
+++ b/schema/edxml.rng
@@ -688,7 +688,14 @@
<define name="elem.ref">
<element name="ref">
<attribute name="target"/>
- <text/>
+ <interleave>
+ <zeroOrMore>
+ <ref name="elem.hi"/>
+ </zeroOrMore>
+ <zeroOrMore>
+ <text/>
+ </zeroOrMore>
+ </interleave>
</element>
</define>
--
GitLab