diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-09-29 10:37:46 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-09-29 10:37:46 -0700 |
| commit | 931ccd03766f339ab1053b4d5ad8344f20733d5e (patch) | |
| tree | e9480ad85d050afa2e5c1500a9de4e5acfd05587 /src/Text/Pandoc/App/CommandLineOptions.hs | |
| parent | 6227144216b35349cc5415233baae13f8d1cc886 (diff) | |
Remove deprecated option `--strip-empty-paragraphs`.
Diffstat (limited to 'src/Text/Pandoc/App/CommandLineOptions.hs')
| -rw-r--r-- | src/Text/Pandoc/App/CommandLineOptions.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/Text/Pandoc/App/CommandLineOptions.hs b/src/Text/Pandoc/App/CommandLineOptions.hs index 50925c942..1a760d970 100644 --- a/src/Text/Pandoc/App/CommandLineOptions.hs +++ b/src/Text/Pandoc/App/CommandLineOptions.hs @@ -520,14 +520,6 @@ options = "NUMBER") "" -- "Headers base level" - , Option "" ["strip-empty-paragraphs"] - (NoArg - (\opt -> do - deprecatedOption "--strip-empty-paragraphs" - "Use +empty_paragraphs extension." - return opt{ optStripEmptyParagraphs = True })) - "" -- "Strip empty paragraphs" - , Option "" ["track-changes"] (ReqArg (\arg opt -> do |