diff options
author | Mauro Bieg <mb21@users.noreply.github.com> | 2017-11-28 02:30:53 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-11-27 18:30:53 -0700 |
commit | de75d4eaf93aede14f500368168c0aa62a2427ea (patch) | |
tree | 8e2d03a3c5b08ae9894ef4d284425caf0a8020e5 /src/Text | |
parent | 459b2742cf8ca0c57af318d1eab8893275738973 (diff) | |
download | pandoc-de75d4eaf93aede14f500368168c0aa62a2427ea.tar.gz |
Fix --help output for --highlight-style to include FILE (#4098)
Closes #4095.
Diffstat (limited to 'src/Text')
-rw-r--r-- | src/Text/Pandoc/App.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/App.hs b/src/Text/Pandoc/App.hs index 34410191f..3c52e4247 100644 --- a/src/Text/Pandoc/App.hs +++ b/src/Text/Pandoc/App.hs @@ -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"] |