From 08f2f612dd5aef889d329eded4bd6fc0fea2e187 Mon Sep 17 00:00:00 2001
From: Michał Górny <mgorny@gentoo.org>
Date: Thu, 17 Sep 2015 21:47:04 +0200
Subject: herds: Remove no-longer usable <maintainingproject/> element

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