diff options
Diffstat (limited to 'dtd')
| -rw-r--r-- | dtd/globals.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dtd/globals.dtd b/dtd/globals.dtd index 570fa15..e6246d6 100644 --- a/dtd/globals.dtd +++ b/dtd/globals.dtd @@ -13,7 +13,7 @@ <!ELEMENT var (#PCDATA)>
<!ATTLIST var
name NMTOKEN #REQUIRED
- type (int|string) #REQUIRED>
+ type (int|double|string) #REQUIRED>
<!ELEMENT token (trans)+>
<!ATTLIST token
|