commit: ad893ea8543ec69c45c712db58cfaa2a0b749063 Author: Ulrich Müller <ulm <AT> gentoo <DOT> org> AuthorDate: Tue Dec 17 18:57:30 2019 +0000 Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org> CommitDate: Tue Dec 17 18:57:30 2019 +0000 URL: https://gitweb.gentoo.org/proj/nxml-gentoo-schemas.git/commit/?id=ad893ea8
schemas.xml: Use document element to locate devbook.rnc. 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 <AT> gentoo.org> schemas.xml | 8 ++++---- 1 file 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" />
