imgtools_os/romkiteka2/tools/featureuids.dtd
changeset 0 83f4b4db085c
equal deleted inserted replaced
-1:000000000000 0:83f4b4db085c
       
     1 <!ELEMENT featureuids   (features,default)>
       
     2 <!ELEMENT features      (feature+)>
       
     3 <!ELEMENT feature       EMPTY>
       
     4 
       
     5 <!ATTLIST feature
       
     6         name            CDATA #REQUIRED
       
     7         uid             CDATA #REQUIRED
       
     8         installable     (true|false) #IMPLIED>
       
     9 
       
    10 <!ELEMENT default       (range+)>
       
    11 <!ELEMENT range         EMPTY>
       
    12 <!ATTLIST range
       
    13         min             CDATA #REQUIRED
       
    14         max             CDATA #REQUIRED
       
    15         support         (include|exclude) #REQUIRED>
       
    16