diff options
Diffstat (limited to 'common/entities/entities.dtd')
-rw-r--r-- | common/entities/entities.dtd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/entities/entities.dtd b/common/entities/entities.dtd index 0e95a06..67d4c0e 100644 --- a/common/entities/entities.dtd +++ b/common/entities/entities.dtd @@ -4,6 +4,7 @@ <!ELEMENT entity (comment,text) > <!ATTLIST entity name NMTOKEN #REQUIRED > +<!ATTLIST entity kind (term|system) "term" > <!ELEMENT comment (#PCDATA) > <!ELEMENT text (#PCDATA|use)* > |