diff options
author | Lars Wirzenius <liw@liw.fi> | 2019-05-29 12:18:08 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2019-05-29 12:18:08 +0300 |
commit | 8b66edda7c64250201af474672d8659de0f2b17d (patch) | |
tree | 93342a4be0ab0becdf4842c3f180e50767bf7910 | |
parent | a8d7fc52e29f6c367125ddc932828bf071953e24 (diff) | |
download | fable-poc-8b66edda7c64250201af474672d8659de0f2b17d.tar.gz |
Add: script to run pandoc on ftt-docgen output to produce PDF
-rwxr-xr-x | pandoc.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/pandoc.sh b/pandoc.sh new file mode 100755 index 0000000..3942448 --- /dev/null +++ b/pandoc.sh @@ -0,0 +1,15 @@ +#!/bin/sh + +set -eu + +pandoc \ + --toc \ + --number-sections \ + -Vdocumentclass:report \ + -Vtitlepage:true \ + -Vfontsize:12pt \ + "-Vmainfont:Bitstream Charter" \ + -Vsansfont:Cabin \ + "-Vmonofont:Courier 10 Pitch" \ + -Vgeometry:top=2cm,bottom=2.5cm,left=2cm,right=1cm \ + "$@" |