summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--herds.dtd6
1 files changed, 1 insertions, 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>