Use man reader for files with extension dot + digit.
commit2451d38147f4e4b4da76843d512cc26947eff62d
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 19 Oct 2018, 16:02 (8 years ago)
parent790ada8
src/Text/Pandoc/App.hs+1
@@ -737,6 +737,7 @@ defaultReaderName fallback (x:xs) =
737737 ".pdf" -> "pdf" -- so we get an "unknown reader" error
738738 ".doc" -> "doc" -- so we get an "unknown reader" error
739739 ".fb2" -> "fb2"
740+ ['.',y] | y `elem` ['1'..'9'] -> "man"
740741 _ -> defaultReaderName fallback xs
741742
742743-- Determine default writer based on output file extension