diff options
Diffstat (limited to 'doc/cli.sh')
| -rwxr-xr-x | doc/cli.sh | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/doc/cli.sh b/doc/cli.sh new file mode 100755 index 0000000..c315efa --- /dev/null +++ b/doc/cli.sh @@ -0,0 +1,31 @@ +#! /usr/bin/env bash + +version="0.2" # 0.2.0 +date="January 2016" + +trap 'exit 1' ERR +set -o errtrace # Trap in functions. + +function info () { echo "$*" 1>&2; } +function error () { info "$*"; exit 1; } + +while [ $# -gt 0 ]; do + case $1 in + --clean) + rm -f build2-toolchain-intro.xhtml build2-toolchain-intro.ps \ +build2-toolchain-intro.pdf + exit 0 + ;; + *) + error "unexpected $1" + ;; + esac +done + +cli -I .. -v version="$version" -v date="$date" --generate-html \ +--html-prologue-file intro-prologue.xhtml \ +--html-epilogue-file intro-epilogue.xhtml \ +--html-suffix .xhtml --output-prefix build2-toolchain- intro.cli + +#html2ps -f intro.html2ps -o build2-toolchain-intro.ps build2-toolchain-intro.xhtml +#ps2pdf14 build2-toolchain-intro.ps build2-toolchain-intro.pdf |