| 1 |
Hello, |
| 2 |
|
| 3 |
A quick patch for review. It changes the DTD for repositories.xml to |
| 4 |
support multiple <owner/> tags. We have at least one repository with |
| 5 |
more than one owner, and I don't really see creating aliases for our |
| 6 |
users just to support that. Any comments? |
| 7 |
|
| 8 |
|
| 9 |
Index: repositories.dtd |
| 10 |
=================================================================== |
| 11 |
RCS file: /var/cvsroot/gentoo/xml/htdocs/dtd/repositories.dtd,v |
| 12 |
retrieving revision 1.1 |
| 13 |
diff -u -B -r1.1 repositories.dtd |
| 14 |
--- repositories.dtd 12 Oct 2009 19:06:08 -0000 1.1 |
| 15 |
+++ repositories.dtd 11 Aug 2015 14:14:28 -0000 |
| 16 |
@@ -21,7 +21,7 @@ |
| 17 |
xmlns CDATA #FIXED '' |
| 18 |
version CDATA #FIXED '1.0'> |
| 19 |
|
| 20 |
-<!ELEMENT repo (name,(description)+,(longdescription)*,(homepage)?,owner,(source)+,(feed)*)> |
| 21 |
+<!ELEMENT repo (name,(description)+,(longdescription)*,(homepage)?,(owner)+,(source)+,(feed)*)> |
| 22 |
<!ATTLIST repo |
| 23 |
xmlns CDATA #FIXED '' |
| 24 |
priority CDATA #IMPLIED |
| 25 |
|
| 26 |
|
| 27 |
-- |
| 28 |
Best regards, |
| 29 |
Michał Górny |
| 30 |
<http://dev.gentoo.org/~mgorny/> |
Archives