mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-26 10:16:32 +00:00
Fix --help output for --highlight-style to include FILE (#4098)
Closes #4095.
This commit is contained in:
committed by
John MacFarlane
parent
459b2742cf
commit
de75d4eaf9
@@ -1119,7 +1119,7 @@ options =
|
||||
, Option "" ["highlight-style"]
|
||||
(ReqArg
|
||||
(\arg opt -> return opt{ optHighlightStyle = Just arg })
|
||||
"STYLE")
|
||||
"STYLE|FILE")
|
||||
"" -- "Style for highlighted code"
|
||||
|
||||
, Option "" ["syntax-definition"]
|
||||
|
||||
Reference in New Issue
Block a user