- moved to separate repo

[TLD.git] / pld-builder.new / xml / queue.dtd

diff --git a/pld-builder.new/xml/queue.dtd b/pld-builder.new/xml/queue.dtd
deleted file mode 100644 (file)
index 3b2ab48..0000000
--- a/pld-builder.new/xml/queue.dtd
+++ /dev/null
@@ -1,39 +0,0 @@
-<!ELEMENT queue (group*)>
-
-<!ELEMENT group (requester,time,priority,batch+)>
-<!ATTLIST group id CDATA #REQUIRED>
-<!ATTLIST group no CDATA #REQUIRED>
-<!ATTLIST group flags CDATA "">
-
-<!ELEMENT requester (#PCDATA)>
-<!ATTLIST requester email CDATA #REQUIRED>
-
-<!ELEMENT time (#PCDATA)>
-
-<!ELEMENT priority (#PCDATA)>
-
-<!ELEMENT batch (src-rpm,command,spec,branch,info,kernel?,(with|without)*,builder+)>
-<!ATTLIST batch id CDATA #REQUIRED>
-<!ATTLIST batch depends-on CDATA "">
-
-<!ELEMENT src-rpm (#PCDATA)>
-
-<!ELEMENT command (#PCDATA)>
-<!ATTLIST command flags CDATA "">
-
-<!ELEMENT spec (#PCDATA)>
-
-<!ELEMENT branch (#PCDATA)>
-
-<!ELEMENT info (#PCDATA)>
-
-<!ELEMENT kernel (#PCDATA)>
-
-<!ELEMENT with (#PCDATA)>
-
-<!ELEMENT without (#PCDATA)>
-
-<!ELEMENT builder (#PCDATA)>
-<!ATTLIST builder status CDATA #REQUIRED>
-
-