diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2019-12-17 19:57:30 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2019-12-17 19:57:30 +0100 |
| commit | ad893ea8543ec69c45c712db58cfaa2a0b749063 (patch) | |
| tree | 085fd0cfddfdf0093de5b38e98a91b539afa1f5b | |
| parent | Update list of DTDs. (diff) | |
| download | nxml-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.xml | 8 |
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" /> |