diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-10-19 16:02:05 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-10-19 16:02:05 -0700 |
| commit | 2451d38147f4e4b4da76843d512cc26947eff62d (patch) | |
| tree | 4f691537006a41990a23fa8121183ae1d3cd7592 /src | |
| parent | 790ada894610d29c3fe6e06cd6b9a533ecf1b4c0 (diff) | |
| download | pandoc-2451d38147f4e4b4da76843d512cc26947eff62d.tar.gz | |
Use man reader for files with extension dot + digit.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/App.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |