Remove spurious / after $(DESTDIR)

[fontconfig.git] / fonts.dtd

diff --git a/fonts.dtd b/fonts.dtd
index f7c2bc9712aacca4b76eb1d80cd9ef0f2318db40..6fcfe096917b9a93be7354779b3926d91fa22fe3 100644 (file)
--- a/fonts.dtd
+++ b/fonts.dtd
@@ -91,7 +91,7 @@
 <!ENTITY % expr 'int|double|string|matrix|bool|charset
                |name|const
                |or|and|eq|not_eq|less|less_eq|more|more_eq|contains|not_contains
-               |plus|minus|times|divide|not|if'>
+               |plus|minus|times|divide|not|if|floor|ceil|round|trunc'>
 
 <!--
     Match and edit patterns.
@@ -157,7 +157,7 @@
 <!ELEMENT string (#PCDATA)>
 <!ATTLIST string xml:space (default|preserve) 'preserve'>
 <!ELEMENT matrix (double,double,double,double)>
-<!ELEMENT bool (true|false)>
+<!ELEMENT bool (#PCDATA)>
 <!ELEMENT charset (#PCDATA)>
 <!ATTLIST charset xml:space (default|preserve) 'preserve'>
 <!ELEMENT name (#PCDATA)>
@@ -180,3 +180,7 @@
 <!ELEMENT divide (%expr;)*>
 <!ELEMENT not (%expr;)>
 <!ELEMENT if ((%expr;), (%expr;), (%expr;))>
+<!ELEMENT floor (%expr;)>
+<!ELEMENT ceil (%expr;)>
+<!ELEMENT round (%expr;)>
+<!ELEMENT trunc (%expr;)>