Gentoo Archives: gentoo-dev

From: "Michał Górny" <mgorny@g.o>
To: gentoo-dev@l.g.o
Subject: [gentoo-dev] [PATCH repositories.dtd] Support multiple <owner/> elements
Date: Tue, 11 Aug 2015 14:17:06
Message-Id: 20150811161637.59906fe5@pomiot
Hello,

A quick patch for review. It changes the DTD for repositories.xml to
support multiple <owner/> tags. We have at least one repository with
more than one owner, and I don't really see creating aliases for our
users just to support that. Any comments?


Index: repositories.dtd
===================================================================
RCS file: /var/cvsroot/gentoo/xml/htdocs/dtd/repositories.dtd,v
retrieving revision 1.1
diff -u -B -r1.1 repositories.dtd
--- repositories.dtd	12 Oct 2009 19:06:08 -0000	1.1
+++ repositories.dtd	11 Aug 2015 14:14:28 -0000
@@ -21,7 +21,7 @@
   xmlns CDATA #FIXED ''
   version CDATA #FIXED '1.0'>
 
-<!ELEMENT repo (name,(description)+,(longdescription)*,(homepage)?,owner,(source)+,(feed)*)>
+<!ELEMENT repo (name,(description)+,(longdescription)*,(homepage)?,(owner)+,(source)+,(feed)*)>
 <!ATTLIST repo
   xmlns CDATA #FIXED ''
   priority CDATA #IMPLIED


-- 
Best regards,
Michał Górny
<http://dev.gentoo.org/~mgorny/>

Replies