diff --git a/filter/with-glossary.hs b/filter/with-glossary.hs index 452d0db044982b91a9f8bffd5f9c38fda0b6619d..7518f2f5c304fa40e6f2185d49795b30b791d566 100644 --- a/filter/with-glossary.hs +++ b/filter/with-glossary.hs @@ -14,6 +14,7 @@ import System.FilePath ((</>), (<.>)) import Text.Pandoc ( Block(..), Format(..), Inline(..), Meta(..), Pandoc(..), ReaderOptions(..) , lookupMeta, nullAttr, pandocExtensions, readMarkdown, runIOorExplode ) +import Text.Pandoc.Extensions (Extension(..), disableExtension) import Text.Pandoc.JSON (ToJSONFilter(..)) import Text.Pandoc.Walk (query, walkM) import Text.Printf (printf) @@ -83,7 +84,8 @@ loadDef headword _ = do definitionPath = ((</> unpack headword <.> "md") . root) getDocument path = liftIO (Text.readFile path >>= runIOorExplode . readMarkdown options) - options = def { readerExtensions = pandocExtensions } + options = + def { readerExtensions = disableExtension Ext_smart pandocExtensions } empty = Entry {headword = "", definition = []} store = modify . insert (Text.toLower headword)