From a58369a7e650758004975084f984efb2bf3d7d68 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 15 Jan 2017 12:57:15 +0100 Subject: Options: changed default reader/writerExtensions to emptyExtensions. Previously they were pandocExtensions. This didn't make sense for many formats. --- src/Text/Pandoc/Options.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index 61cb7b9ec..5e4c51abf 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -69,7 +69,7 @@ data ReaderOptions = ReaderOptions{ instance Default ReaderOptions where def = ReaderOptions{ - readerExtensions = pandocExtensions + readerExtensions = emptyExtensions , readerStandalone = False , readerParseRaw = False , readerColumns = 80 @@ -204,7 +204,7 @@ instance Default WriterOptions where , writerNumberSections = False , writerNumberOffset = [0,0,0,0,0,0] , writerSectionDivs = False - , writerExtensions = pandocExtensions + , writerExtensions = emptyExtensions , writerReferenceLinks = False , writerDpi = 96 , writerWrapText = WrapAuto -- cgit v1.2.3