diff options
author | Repository QA checks <repo-qa-checks@gentoo.org> | 2016-11-27 00:01:05 +0000 |
---|---|---|
committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2016-11-27 00:01:05 +0000 |
commit | d3ec46406883388d541273c64b45b9766469a2c8 (patch) | |
tree | bfad3c6a111103bf979619b53bd5be7155bbae77 /metadata/dtd | |
parent | 2016-11-26 23:28:46 UTC (diff) | |
parent | dtd/mirrors: add attributes for city, gentoo-bug and coordinates. (diff) | |
download | gentoo-d3ec46406883388d541273c64b45b9766469a2c8.tar.gz gentoo-d3ec46406883388d541273c64b45b9766469a2c8.tar.bz2 gentoo-d3ec46406883388d541273c64b45b9766469a2c8.zip |
Merge commit '10e10c7f6c24a5f9da3deffbe8c9f86d47f494e2'
Diffstat (limited to 'metadata/dtd')
-rw-r--r-- | metadata/dtd/mirrors.dtd | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/metadata/dtd/mirrors.dtd b/metadata/dtd/mirrors.dtd index 364f8a339b36..d855815851f4 100644 --- a/metadata/dtd/mirrors.dtd +++ b/metadata/dtd/mirrors.dtd @@ -36,13 +36,20 @@ <!-- element: mirror description: One per mirror; name the mirror and provide one or more uris - example: <mirror> + 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> --> <!ELEMENT mirror (name, uri+)> +<!ATTLIST mirror + city CDATA #IMPLIED + coordinates CDATA #IMPLIED + gentoo-bug CDATA #IMPLIED> <!-- element: name |