diff options
Diffstat (limited to 'doc/src/build-docs.sh')
| -rwxr-xr-x | doc/src/build-docs.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/doc/src/build-docs.sh b/doc/src/build-docs.sh new file mode 100755 index 0000000..5078ac3 --- /dev/null +++ b/doc/src/build-docs.sh @@ -0,0 +1,26 @@ +#!/bin/bash +set -e + +DIR=$(cd -- "$(dirname -- "$0")" && pwd) +DOC=$(cd -- "$DIR/.." && pwd) +BUILD="$DIR/.build" + +rm -rf "$BUILD" +mkdir -p "$BUILD" +cd "$DIR" + +build_one() +{ + local base="$1" + local pass + for pass in 1 2 3; do + xelatex -interaction=nonstopmode -halt-on-error \ + -output-directory="$BUILD" "$base.tex" >"$BUILD/$base.pass$pass.log" + done + cp -f "$BUILD/$base.pdf" "$DOC/$base.pdf" +} + +build_one libmcpu-bytecode-architecture-ru +build_one libmcpu-melf-abi-ru + +rm -rf "$BUILD" |
