diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-11-28 13:35:49 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-11-28 13:35:49 -0800 |
| commit | 845b6c8670a6d1a11c1a31ec15ec2f0831883cbe (patch) | |
| tree | 600be732d34508be96fa568fe514c0430cd0cfe3 /MANUAL.txt | |
| parent | 00561b1bb956a5b4de291e80001cf752c38c4549 (diff) | |
Added --print-highlight-style option.
This generates a JSON version of a highlighting style, which can be
saved as a .theme file, modified, and used with `--highlight-style`.
Closes #4106.
Closes #4096.
Diffstat (limited to 'MANUAL.txt')
| -rw-r--r-- | MANUAL.txt | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index c22d18bac..e8fdf9375 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -685,8 +685,16 @@ General writer options Instead of a *STYLE* name, a JSON file with extension `.theme` may be supplied. This will be parsed as a KDE syntax highlighting theme and (if valid) used as the - highlighting style. To see a sample theme that can be - modified, `pandoc --print-default-data-file default.theme`. + highlighting style. + + To generate the JSON version of an existing style, + use `--print-highlight-style`. + +`--print-highlight-style=`*STYLE*|*FILE* + +: Prints a JSON version of a highlighting style, which can + be modified, saved with a `.theme` extension, and used + with `--highlight-style`. `--syntax-definition=`*FILE* |