1 files changed, 6 insertions, 0 deletions
diff --git a/fonts.dtd b/fonts.dtd
index d0e1700..f8c9f2c 100644
--- a/fonts.dtd
+++ b/fonts.dtd
@@ -8,6 +8,7 @@
 		      include |
 		      match |
 		      remap-dir |
+		      reset-dirs |
 		      selectfont)* >
 
 <!-- 
@@ -121,6 +122,11 @@
 	  xml:space (default|preserve)          "preserve">
 
 <!--
+    Reset the list of fonts directories
+-->
+<!ELEMENT reset-dirs >
+
+<!--
     Periodically rescan the font configuration and
     directories to synch internal state with filesystem
  -->