summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mirrors.dtd9
1 files changed, 8 insertions, 1 deletions
diff --git a/mirrors.dtd b/mirrors.dtd
index 364f8a3..d855815 100644
--- a/mirrors.dtd
+++ b/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