diff options
Diffstat (limited to 'build-aux/workflow/TODOs.sh')
| -rwxr-xr-x | build-aux/workflow/TODOs.sh | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/build-aux/workflow/TODOs.sh b/build-aux/workflow/TODOs.sh index 036ce13..8100eb8 100755 --- a/build-aux/workflow/TODOs.sh +++ b/build-aux/workflow/TODOs.sh @@ -8,7 +8,10 @@ export MAILING_LIST="$3" envsubst < build-aux/workflow/preamble.rst | \ cat - TODOs.rst | \ - pandoc --toc \ - --toc-depth=2 \ - -s --metadata title="$1 - TODOs" \ - -r rst -w html > public/TODOs.html + pandoc --toc \ + --highlight-style pygments \ + --toc-depth=2 \ + -s \ + --metadata title="$1 - TODOs" \ + --metadata lang=en \ + -r rst -w html > public/TODOs.html |