[gentoo-dev] [PATCH dtd] herds: Remove no-longer usable <maintainingproject/> element

[Michał Górny]

<maintainingproject/> was used to 'copy' herd member lists from project
pages. However, it was never properly supported by tools and it is no
longer usable since project pages were moved to the Wiki.
---
 herds.dtd | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/herds.dtd b/herds.dtd
index 74ea3b5..37ce92a 100644
--- a/herds.dtd
+++ b/herds.dtd
@@ -1,14 +1,10 @@
 <!ELEMENT herds ( (herd)* )>
   <!-- One tag for each herd -->
-  <!ELEMENT herd (name, email? , description?, (maintainersof|maintainingproject|maintainer*))>
+  <!ELEMENT herd (name, email? , description?, (maintainersof|maintainer*))>
 
   <!-- One tag for each maintainer of a herd, multiple allowed-->
   <!ELEMENT maintainer ( email, (role| name)* )>
 
-  <!-- Projects that whose members all maintain the herd, the format is the
-       url of the project page starting from the web root-->
-  <!ELEMENT maintainingproject (#PCDATA)>
-
   <!-- Get the maintainers of another herd and make them maintainers of this
        one-->
   <!ELEMENT maintainersof EMPTY>
-- 
2.5.2