diff options
author | 2019-12-14 15:40:09 +0100 | |
---|---|---|
committer | 2019-12-14 15:40:09 +0100 | |
commit | d8342fb563bd66da93b93d970e43baa05e6652cd (patch) | |
tree | 45ab452d9dc999c165e72008e1176cdccbd1e3ba /schemas.xml | |
parent | Update list of DTDs. (diff) | |
download | nxml-gentoo-schemas-d8342fb563bd66da93b93d970e43baa05e6652cd.tar.gz nxml-gentoo-schemas-d8342fb563bd66da93b93d970e43baa05e6652cd.tar.bz2 nxml-gentoo-schemas-d8342fb563bd66da93b93d970e43baa05e6652cd.zip |
Add devbook.rnc for Gentoo devmanual.nxml-gentoo-schemas-20191214
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'schemas.xml')
-rw-r--r-- | schemas.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/schemas.xml b/schemas.xml index 14927b1..7db46ae 100644 --- a/schemas.xml +++ b/schemas.xml @@ -1,5 +1,9 @@ <?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="guide.rnc" /> |