From 2451d38147f4e4b4da76843d512cc26947eff62d Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 19 Oct 2018 16:02:05 -0700 Subject: Use man reader for files with extension dot + digit. --- src/Text/Pandoc/App.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/Text/Pandoc/App.hs b/src/Text/Pandoc/App.hs index 79d83c0d3..9c830c85c 100644 --- a/src/Text/Pandoc/App.hs +++ b/src/Text/Pandoc/App.hs @@ -737,6 +737,7 @@ defaultReaderName fallback (x:xs) = ".pdf" -> "pdf" -- so we get an "unknown reader" error ".doc" -> "doc" -- so we get an "unknown reader" error ".fb2" -> "fb2" + ['.',y] | y `elem` ['1'..'9'] -> "man" _ -> defaultReaderName fallback xs -- Determine default writer based on output file extension -- cgit v1.2.3