diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-10-19 08:04:18 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-10-19 08:05:30 -0700 |
| commit | 7754b7f2ddd8b188de66b4c0f0b4a87d2a2045c6 (patch) | |
| tree | 4d69793a304684d7edde67eb14026e6fa3cab965 /src/Text/Pandoc/App | |
| parent | 465c28d28e1017040a41653edb6248056f178d3b (diff) | |
| download | pandoc-7754b7f2ddd8b188de66b4c0f0b4a87d2a2045c6.tar.gz | |
FormatHeuristics: remove `.tei.xml` extension for TEI.
As noted in #7630, this never worked, because `takeExtension`
only returns `.xml`. So it won't be missed if we remove it.
Closes #7630.
Diffstat (limited to 'src/Text/Pandoc/App')
| -rw-r--r-- | src/Text/Pandoc/App/FormatHeuristics.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Text/Pandoc/App/FormatHeuristics.hs b/src/Text/Pandoc/App/FormatHeuristics.hs index bdf8c6667..a2acfc6d6 100644 --- a/src/Text/Pandoc/App/FormatHeuristics.hs +++ b/src/Text/Pandoc/App/FormatHeuristics.hs @@ -74,7 +74,6 @@ formatFromFilePath x = ".s5" -> Just "s5" ".t2t" -> Just "t2t" ".tei" -> Just "tei" - ".tei.xml" -> Just "tei" ".tex" -> Just "latex" ".texi" -> Just "texinfo" ".texinfo" -> Just "texinfo" |