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 /mirrors.rnc | |
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 'mirrors.rnc')
-rw-r--r-- | mirrors.rnc | 79 |
1 files changed, 79 insertions, 0 deletions
diff --git a/mirrors.rnc b/mirrors.rnc new file mode 100644 index 0000000..e516d0c --- /dev/null +++ b/mirrors.rnc @@ -0,0 +1,79 @@ +# $Header: /var/cvsroot/gentoo/xml/htdocs/dtd/mirrors.dtd,v 1.3 2009/12/03 09:43:39 robbat2 Exp $ + +# This file is used for keeping the new mirrors.xml file + +# element: mirrors +# description: A set of mirrorgroups followed by a list of countries with their code +# example: <mirrors> +# <mirrorgroup country="US" region="North America"> +# ... +# </mirrorgroup> +# ... +# <countries> +# <country code="CA">Canada</country> +# ... +# </countries> +# </mirrors> + +namespace a = "http://relaxng.org/ns/compatibility/annotations/1.0" + +mirrors = element mirrors { attlist.mirrors, mirrorgroup*, countries } +attlist.mirrors &= empty +# element: mirrorgroup +# description: Group mirrors by region and country. +# The country code must exist in //countries/country +# example: <mirrorgroup region="South America" country="BZ"> +# <mirror> +# ... +# </mirror> +# ... +# </mirrorgroup +mirrorgroup = element mirrorgroup { attlist.mirrorgroup, mirror* } +attlist.mirrorgroup &= + attribute region { text }, + attribute country { xsd:IDREF } +# element: mirror +# description: One per mirror; name the mirror and provide one or more uris +# optionally: provide GPS coordinates, a city and a bug id. +# example: <mirror city="Corvallis" +# coordinates="44.5646,-123.2620" +# gentoo-bug="12345"> +# <name>OSU Open Source Lab</name> +# <uri protocol="http">http://gentoo.osuosl.org/</uri> +# <uri protocol="ftp">ftp://gentoo.osuosl.org/</uri> +# </mirror> +mirror = element mirror { attlist.mirror, name, uri+ } +attlist.mirror &= + attribute city { text }?, + attribute coordinates { text }?, + attribute gentoo-bug { text }? +# element: name +# description: Name of the mirror +# note: Do not include a country and protocol pair, "(USA/http)" as they will +# be built by the XSL. +# example: <name>OSU Open Source Lab</name> +name = element name { attlist.name, text } +attlist.name &= empty +# element: uri +# description: A Uniform Resource Locator for a given mirror +# example: <uri protocol='http' ipv4='y' ipv6='y'>http://gentoo.osuosl.org/</uri> +uri = element uri { attlist.uri, text } +attlist.uri &= + [ a:defaultValue = "y" ] attribute ipv4 { "Y" | "y" | "N" | "n" }?, + [ a:defaultValue = "n" ] attribute ipv6 { "Y" | "y" | "N" | "n" }?, + [ a:defaultValue = "n" ] attribute partial { "Y" | "y" | "N" | "n" }?, + [ a:defaultValue = "http" ] + attribute protocol { "http" | "ftp" | "rsync" }? +# element: countries +# description: A list of countries with their code and name +# example: <countries> +# <country code="CA">Canada</country> +# <countries> +countries = element countries { attlist.countries, country* } +attlist.countries &= empty +# element: country +# description: A country with its code +# example: <country code="CA">Canada</country> +country = element country { attlist.country, text } +attlist.country &= attribute code { xsd:ID } +start = mirrors |