Add charset editing feature.

[fontconfig.git] / fonts.dtd

diff --git a/fonts.dtd b/fonts.dtd
index cbdfdab3fb5675e159b482a1f5ed21f87e71156b..5f21e350ce7cabdf1b283ef3e525700c5a9ec806 100644 (file)
--- a/fonts.dtd
+++ b/fonts.dtd
@@ -196,8 +196,8 @@
 <!ATTLIST string xml:space (default|preserve) 'preserve'>
 <!ELEMENT matrix (double,double,double,double)>
 <!ELEMENT bool (#PCDATA)>
-<!ELEMENT charset (#PCDATA)>
-<!ATTLIST charset xml:space (default|preserve) 'preserve'>
+<!ELEMENT charset (int|range)*>
+<!ELEMENT range (int,int)>
 <!ELEMENT name (#PCDATA)>
 <!ATTLIST name xml:space (default|preserve) 'preserve'>
 <!ELEMENT const (#PCDATA)>