diff options
author | John MacFarlane <jgm@berkeley.edu> | 2013-12-17 16:03:43 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2013-12-17 16:03:43 -0800 |
commit | 0132f6fcb75e58774846e92bac6df2afd7a50e6f (patch) | |
tree | f5e7d27539df1d468241e3c19b36512953bf3c0d /src/Text/Pandoc/Readers | |
parent | 826443926f85b72840b49cd7973e91ed80a09b5d (diff) | |
download | pandoc-0132f6fcb75e58774846e92bac6df2afd7a50e6f.tar.gz |
LaTeX reader: Support babel-style quoting: `` "`..."' ``.
Diffstat (limited to 'src/Text/Pandoc/Readers')
-rw-r--r-- | src/Text/Pandoc/Readers/LaTeX.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Readers/LaTeX.hs b/src/Text/Pandoc/Readers/LaTeX.hs index 736f2ff1c..0020a8f26 100644 --- a/src/Text/Pandoc/Readers/LaTeX.hs +++ b/src/Text/Pandoc/Readers/LaTeX.hs @@ -173,6 +173,8 @@ double_quote :: LP Inlines double_quote = ( quoted' doubleQuoted (try $ string "``") (void $ try $ string "''") <|> quoted' doubleQuoted (string "“") (void $ char '”') + -- the following is used by babel for localized quotes: + <|> quoted' doubleQuoted (try $ string "\"`") (void $ try $ string "\"'") <|> quoted' doubleQuoted (string "\"") (void $ char '"') ) |