diff options
author | defanor <defanor@uberspace.net> | 2018-04-23 02:51:38 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-04-23 02:51:38 +0300 |
commit | 075de8f8eaf6fd5eef1d8c18fe903199737fb581 (patch) | |
tree | 2af000df54a59bbb36e2cde3a06795b50873612d | |
parent | 66663c0610dd33465cdb95dfc66e44a973088c43 (diff) |
Handle XHTML filename extensions and MIME types
-rw-r--r-- | Pancake/Reading.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Pancake/Reading.hs b/Pancake/Reading.hs index 0124ec9..86786c9 100644 --- a/Pancake/Reading.hs +++ b/Pancake/Reading.hs @@ -253,6 +253,8 @@ readDoc c out dt uri = do byExtension' ext = byExtension $ dropWhile (== '.') ext byExtension "md" = P.getReader "markdown" byExtension "htm" = html + byExtension "xhtml" = html + byExtension "xht" = html byExtension "ltx" = P.getReader "latex" byExtension "tex" = P.getReader "latex" byExtension "txt" = pure plain |