summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-08-08 13:16:45 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2017-08-08 13:16:45 -0700
commitccd4f13a4accf0366072a93b2843706e60a89a5e (patch)
tree437ae65620268776284f7df4997cb2f494df4674
parent714d8a6377b83ce9e8b5ef5b721cc1f196341438 (diff)
Writers.Shared.unsmartify: undo literal double curly quotes.
Previously we left these.
-rw-r--r--src/Text/Pandoc/Writers/Shared.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Writers/Shared.hs b/src/Text/Pandoc/Writers/Shared.hs
index 3f612f40a..8369bc09c 100644
--- a/src/Text/Pandoc/Writers/Shared.hs
+++ b/src/Text/Pandoc/Writers/Shared.hs
@@ -214,6 +214,9 @@ unsmartify opts ('\8211':xs)
unsmartify opts ('\8212':xs)
| isEnabled Ext_old_dashes opts = "--" ++ unsmartify opts xs
| otherwise = "---" ++ unsmartify opts xs
+unsmartify opts ('\8220':xs) = '"' : unsmartify opts xs
+unsmartify opts ('\8221':xs) = '"' : unsmartify opts xs
+unsmartify opts ('\8216':xs) = '\'' : unsmartify opts xs
unsmartify opts (x:xs) = x : unsmartify opts xs
unsmartify _ [] = []