summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2019-12-17 19:57:30 +0100
committerUlrich Müller <ulm@gentoo.org>2019-12-17 19:57:30 +0100
commitad893ea8543ec69c45c712db58cfaa2a0b749063 (patch)
tree085fd0cfddfdf0093de5b38e98a91b539afa1f5b
parentUpdate list of DTDs. (diff)
downloadnxml-gentoo-schemas-20191217.tar.gz
nxml-gentoo-schemas-20191217.tar.bz2
nxml-gentoo-schemas-20191217.zip
schemas.xml: Use document element to locate devbook.rnc.nxml-gentoo-schemas-20191217
The "guide" document element was previously used for GuideXML, and is used for Devbook XML as well. This seems still more reliable than using the rather generic "text.xml" filename for locating the schema. Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r--schemas.xml8
1 files changed, 4 insertions, 4 deletions
diff --git a/schemas.xml b/schemas.xml
index d9c7753..0a7f23c 100644
--- a/schemas.xml
+++ b/schemas.xml
@@ -1,11 +1,11 @@
<?xml version="1.0" encoding="utf-8"?>
<locatingRules xmlns="http://thaiopensource.com/ns/locating-rules/1.0">
- <!-- rng-loc.el cannot combine rules, so unfortunately we cannot
- select a schema by both document element and filename pattern -->
- <!-- First match, so make sure that "text.xml" is before "guide" -->
- <uri pattern="text.xml" uri="devbook.rnc" />
<documentElement localName="catmetadata" uri="metadata.rnc" />
<documentElement localName="glsa" uri="glsa.rnc" />
+ <documentElement localName="guide" uri="devbook.rnc" />
+ <!-- rng-loc.el cannot combine rules, so unfortunately we cannot
+ select a schema by both document element and filename pattern -->
+ <!-- <uri pattern="text.xml" uri="devbook.rnc" /> -->
<documentElement localName="mirrors" uri="mirrors.rnc" />
<documentElement localName="pkgmetadata" uri="metadata.rnc" />
<documentElement localName="projects" uri="projects.rnc" />