diff options
author | Bastien Nocera <hadess@hadess.net> | 2016-01-07 15:48:47 +0100 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2016-01-07 15:48:47 +0100 |
commit | 6e5818deb54fdfa70f5798fc1df1d5c3eaba42df (patch) | |
tree | 4976d14f4fa411507d1a189e4028a1e261c4918e /freedesktop.org.xml.in | |
parent | 10fc17ec61c5b5c6c0e6ea2c8d7a2123271d07e3 (diff) |
Add *.xht as a glob for XHTML files
Diffstat (limited to 'freedesktop.org.xml.in')
-rw-r--r-- | freedesktop.org.xml.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/freedesktop.org.xml.in b/freedesktop.org.xml.in index dc12655..48696d9 100644 --- a/freedesktop.org.xml.in +++ b/freedesktop.org.xml.in @@ -3669,6 +3669,7 @@ command to generate the output files. <sub-class-of type="application/xml"/> <generic-icon name="text-html"/> <glob pattern="*.xhtml"/> + <glob pattern="*.xht"/> <root-XML namespaceURI='http://www.w3.org/1999/xhtml' localName='html'/> </mime-type> <mime-type type="application/zip"> |