diff options
| -rw-r--r-- | doc/appdocsxml.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/appdocsxml.dtd b/doc/appdocsxml.dtd index 67e86d642..057bf099b 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)> |