diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2019-12-17 19:52:08 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2019-12-17 19:52:08 +0100 |
| commit | f2d97490637ae0ae50dfe6165fd1ab53d5b993b4 (patch) | |
| tree | da4e4ebb4dab36a0ccf5987fb48977ee3dc86a82 /schemas.xml | |
| parent | Add devbook.rnc for Gentoo devmanual. (diff) | |
| download | nxml-gentoo-schemas-f2d97490637ae0ae50dfe6165fd1ab53d5b993b4.tar.gz nxml-gentoo-schemas-f2d97490637ae0ae50dfe6165fd1ab53d5b993b4.tar.bz2 nxml-gentoo-schemas-f2d97490637ae0ae50dfe6165fd1ab53d5b993b4.zip | |
mirrors.rnc: New file.
mirrors.dtd was missing from the list of DTDs.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'schemas.xml')
| -rw-r--r-- | schemas.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/schemas.xml b/schemas.xml index 7db46ae..590e4ce 100644 --- a/schemas.xml +++ b/schemas.xml @@ -7,6 +7,7 @@ <documentElement localName="catmetadata" uri="metadata.rnc" /> <documentElement localName="glsa" uri="glsa.rnc" /> <documentElement localName="guide" uri="guide.rnc" /> + <documentElement localName="mirrors" uri="mirrors.rnc" /> <documentElement localName="news" uri="guide.rnc" /> <documentElement localName="pkgmetadata" uri="metadata.rnc" /> <documentElement localName="projects" uri="projects.rnc" /> |