Removed deprecated --no-wrap option.

This commit is contained in:
John MacFarlane 2016-12-10 10:44:43 +01:00
parent 767638a54e
commit 87170e2af4
2 changed files with 0 additions and 11 deletions

View file

@ -578,10 +578,6 @@ General writer options
will be nonsemantic newlines in the output as well). will be nonsemantic newlines in the output as well).
Automatic wrapping does not currently work in HTML output. Automatic wrapping does not currently work in HTML output.
`--no-wrap`
: Deprecated synonym for `--wrap=none`.
`--columns=`*NUMBER* `--columns=`*NUMBER*
: Specify length of lines in characters. This affects text wrapping : Specify length of lines in characters. This affects text wrapping

View file

@ -469,13 +469,6 @@ options =
"NUMBER") "NUMBER")
"" -- "Dpi (default 96)" "" -- "Dpi (default 96)"
, Option "" ["no-wrap"]
(NoArg
(\opt -> do warn $ "--no-wrap is deprecated. " ++
"Use --wrap=none or --wrap=preserve instead."
return opt { optWrapText = WrapNone }))
""
, Option "" ["wrap"] , Option "" ["wrap"]
(ReqArg (ReqArg
(\arg opt -> (\arg opt ->