diff options
author | John MacFarlane <jgm@berkeley.edu> | 2018-10-30 15:54:29 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2018-10-30 15:54:29 -0700 |
commit | 3305a018bc38a435a7bd006f9447d97ee3ea6868 (patch) | |
tree | c8002ce008816d5235e0709dce0f3772d9c4a123 /src/Text | |
parent | e874bc2c28fa8651446dd8b8fe6f43339b27de3a (diff) | |
download | pandoc-3305a018bc38a435a7bd006f9447d97ee3ea6868.tar.gz |
Roff reader: properly handle unknown backslash escapes.
They are treated as regular characters, according to groff 7.
Cloess #5034.
Diffstat (limited to 'src/Text')
-rw-r--r-- | src/Text/Pandoc/Readers/Roff.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Readers/Roff.hs b/src/Text/Pandoc/Readers/Roff.hs index a540cc39d..9e3315cb3 100644 --- a/src/Text/Pandoc/Readers/Roff.hs +++ b/src/Text/Pandoc/Readers/Roff.hs @@ -284,7 +284,10 @@ escapeNormal = do CopyMode -> char '\\' NormalMode -> return '\\' return [RoffStr "\\"] - _ -> fail $ "Unknown escape character \\" ++ [c] + _ -> return [RoffStr [c]] + -- man 7 groff: "If a backslash is followed by a character that + -- does not constitute a defined escape sequence, the backslash + -- is silently ignored and the character maps to itself." escIgnore :: PandocMonad m => Char |