diff options
Diffstat (limited to 'fontconfig/fonts.dtd')
| -rw-r--r-- | fontconfig/fonts.dtd | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/fontconfig/fonts.dtd b/fontconfig/fonts.dtd index 255367cf5..782e59244 100644 --- a/fontconfig/fonts.dtd +++ b/fontconfig/fonts.dtd @@ -12,7 +12,9 @@ Add a directory that provides fonts --> <!ELEMENT dir (#PCDATA)> -<!ATTLIST dir xml:space (default|preserve) 'preserve'> +<!ATTLIST dir + prefix (#PCDATA) "default" + xml:space (default|preserve) 'preserve'> <!-- Define the per-user file that holds cache font information. @@ -33,7 +35,9 @@ home directory path. --> <!ELEMENT cachedir (#PCDATA)> -<!ATTLIST cachedir xml:space (default|preserve) 'preserve'> +<!ATTLIST cachedir + prefix (#PCDATA) "default" + xml:space (default|preserve) 'preserve'> <!-- Reference another configuration file; note that this @@ -48,6 +52,8 @@ <!ELEMENT include (#PCDATA)> <!ATTLIST include ignore_missing (no|yes) "no" + prefix (#PCDATA) "default" + deprecated (#PCDATA) "no" xml:space (default|preserve) "preserve"> <!-- |