diff --git a/doc/appdocsxml.dtd b/doc/appdocsxml.dtd
index 67e86d6426ef33a4a881a5cfb44953ae404f32d5..057bf099bc68a04f38ff421a1a43bba4ac16b1bc 100644
--- a/doc/appdocsxml.dtd
+++ b/doc/appdocsxml.dtd
@@ -11,7 +11,7 @@
   <!ELEMENT see-also (ref*)>
 
   <!ELEMENT ref (#PCDATA)*>
-  <!ATTLIST ref type (application|function|astcli|link|manpage) #REQUIRED>
+  <!ATTLIST ref type (application|function|astcli|link|manpage|filename) #REQUIRED>
 
   <!ELEMENT synopsis (#PCDATA)>