From 931ccd03766f339ab1053b4d5ad8344f20733d5e Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 29 Sep 2022 10:37:46 -0700 Subject: Remove deprecated option `--strip-empty-paragraphs`. --- pandoc-server/src/Text/Pandoc/Server.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'pandoc-server/src/Text') diff --git a/pandoc-server/src/Text/Pandoc/Server.hs b/pandoc-server/src/Text/Pandoc/Server.hs index 55eed87cb..0aea753a4 100644 --- a/pandoc-server/src/Text/Pandoc/Server.hs +++ b/pandoc-server/src/Text/Pandoc/Server.hs @@ -41,7 +41,7 @@ import System.Console.GetOpt import System.Environment (getProgName) import qualified Control.Exception as E import Text.Pandoc.Shared (safeStrRead, headerShift, filterIpynbOutput, - eastAsianLineBreakFilter, stripEmptyParagraphs) + eastAsianLineBreakFilter) import Text.Pandoc.App ( IpynbOutput (..), Opt(..), defaultOpts ) import Text.Pandoc.Builder (setMeta) import Text.Pandoc.SelfContained (makeSelfContained) @@ -363,9 +363,6 @@ server = convertBytes transforms = (case optShiftHeadingLevelBy opts of 0 -> id x -> headerShift x) . - (case optStripEmptyParagraphs opts of - True -> stripEmptyParagraphs - False -> id) . (if extensionEnabled Ext_east_asian_line_breaks readerExts && not (extensionEnabled Ext_east_asian_line_breaks -- cgit v1.2.3