deprecated/buildtools/romkiteka2/tools/featureuids.dtd
author jascui
Wed, 17 Nov 2010 13:39:51 +0800
changeset 688 27f7c5c966fc
parent 655 3f65fd25dfd4
permissions -rw-r--r--
delete orig.txt

<!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>