From 10e10c7f6c24a5f9da3deffbe8c9f86d47f494e2 Mon Sep 17 00:00:00 2001
From: "Robin H. Johnson" <robbat2@gentoo.org>
Date: Sat, 26 Nov 2016 15:56:44 -0800
Subject: dtd/mirrors: add attributes for city, gentoo-bug and coordinates.

Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
---
 mirrors.dtd | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3-65-gdbad