diff options
author | EuAndreh <eu@euandre.org> | 2021-01-16 09:05:40 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-01-16 09:05:40 -0300 |
commit | 62313e4132c579816a209b7614c2dcd7241dcc06 (patch) | |
tree | 205e126c9489d44e59365779e31dc85adebf80fb /build-aux/workflow/TODOs.sh | |
parent | TODOs.rst: Add df87e340-4c35-469a-9bc1-fc57429a0b8e (diff) | |
download | server-62313e4132c579816a209b7614c2dcd7241dcc06.tar.gz server-62313e4132c579816a209b7614c2dcd7241dcc06.tar.xz |
build-aux/workflow: add lang metadata and syntax-highlighting
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 |