Gentoo Archives: gentoo-commits

From: "Robin H. Johnson (robbat2)" <robbat2@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo commit in xml/htdocs/dtd: mirrors.dtd
Date: Thu, 03 Dec 2009 09:43:45
Message-Id: E1NG8Dr-0005ay-Tu@stork.gentoo.org
1 robbat2 09/12/03 09:43:39
2
3 Modified: mirrors.dtd
4 Log:
5 Bug 293434: Change mirrorgroup, mirror and country to zero-or-more instances to make initial population of the Portage mirror file easy.
6
7 Revision Changes Path
8 1.3 xml/htdocs/dtd/mirrors.dtd
9
10 file : http://sources.gentoo.org/viewcvs.py/gentoo/xml/htdocs/dtd/mirrors.dtd?rev=1.3&view=markup
11 plain: http://sources.gentoo.org/viewcvs.py/gentoo/xml/htdocs/dtd/mirrors.dtd?rev=1.3&content-type=text/plain
12 diff : http://sources.gentoo.org/viewcvs.py/gentoo/xml/htdocs/dtd/mirrors.dtd?r1=1.2&r2=1.3
13
14 Index: mirrors.dtd
15 ===================================================================
16 RCS file: /var/cvsroot/gentoo/xml/htdocs/dtd/mirrors.dtd,v
17 retrieving revision 1.2
18 retrieving revision 1.3
19 diff -p -w -b -B -u -u -r1.2 -r1.3
20 --- mirrors.dtd 13 Jan 2008 16:16:21 -0000 1.2
21 +++ mirrors.dtd 3 Dec 2009 09:43:39 -0000 1.3
22 @@ -1,4 +1,4 @@
23 -<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/dtd/mirrors.dtd,v 1.2 2008/01/13 16:16:21 neysx Exp $ -->
24 +<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/dtd/mirrors.dtd,v 1.3 2009/12/03 09:43:39 robbat2 Exp $ -->
25 <!-- This file is used for keeping the new mirrors.xml file -->
26
27 <!--
28 @@ -16,7 +16,7 @@
29 </mirrors>
30 -->
31
32 -<!ELEMENT mirrors (mirrorgroup+, countries)>
33 +<!ELEMENT mirrors (mirrorgroup*, countries)>
34
35 <!--
36 element: mirrorgroup
37 @@ -30,7 +30,7 @@
38 </mirrorgroup
39 -->
40
41 -<!ELEMENT mirrorgroup (mirror+)>
42 +<!ELEMENT mirrorgroup (mirror*)>
43 <!ATTLIST mirrorgroup region CDATA #REQUIRED
44 country IDREF #REQUIRED>
45 <!--
46 @@ -71,7 +71,7 @@
47 <country code="CA">Canada</country>
48 <countries>
49 -->
50 -<!ELEMENT countries (country+)>
51 +<!ELEMENT countries (country*)>
52
53 <!--
54 element: country