diff options
-rw-r--r-- | projects.dtd | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/projects.dtd b/projects.dtd new file mode 100644 index 0000000..9f23c06 --- /dev/null +++ b/projects.dtd @@ -0,0 +1,14 @@ +<!ELEMENT projects (project)*> +<!ELEMENT project (email,name,url,description,subproject*,member*)> +<!ELEMENT email (#PCDATA)> +<!ELEMENT name (#PCDATA)> +<!ELEMENT url (#PCDATA)> +<!ELEMENT description (#PCDATA)> +<!ELEMENT member (email,name,role)> +<!ATTLIST member + is-lead CDATA #FIXED "1"> +<!ELEMENT role (#PCDATA)> +<!ELEMENT subproject (#PCDATA)> +<!ATTLIST subproject + inherit-members CDATA #FIXED "1" + ref CDATA #REQUIRED> |