imgtools_os/romkiteka2/tools/featureuids.dtd
changeset 0 83f4b4db085c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/imgtools_os/romkiteka2/tools/featureuids.dtd	Tue Feb 02 01:39:43 2010 +0200
@@ -0,0 +1,16 @@
+<!ELEMENT featureuids   (features,default)>
+<!ELEMENT features      (feature+)>
+<!ELEMENT feature       EMPTY>
+
+<!ATTLIST feature
+        name            CDATA #REQUIRED
+        uid             CDATA #REQUIRED
+        installable     (true|false) #IMPLIED>
+
+<!ELEMENT default       (range+)>
+<!ELEMENT range         EMPTY>
+<!ATTLIST range
+        min             CDATA #REQUIRED
+        max             CDATA #REQUIRED
+        support         (include|exclude) #REQUIRED>
+