diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-01-15 12:57:15 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:42 +0100 |
| commit | a58369a7e650758004975084f984efb2bf3d7d68 (patch) | |
| tree | 4352996e1807e2603e45b24f51e5d1ef64d3ba43 /src/Text/Pandoc | |
| parent | 412ed3f1321a49d3c3b2119ebd28705376bbd551 (diff) | |
| download | pandoc-a58369a7e650758004975084f984efb2bf3d7d68.tar.gz | |
Options: changed default reader/writerExtensions to emptyExtensions.
Previously they were pandocExtensions.
This didn't make sense for many formats.
Diffstat (limited to 'src/Text/Pandoc')
| -rw-r--r-- | src/Text/Pandoc/Options.hs | 4 |
1 files 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 |