diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 75e4620..5b3cb01 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,9 +8,6 @@ build: script: - pip install pre-commit - pre-commit run -a --hook-stage=manual - - wget https://github.com/rust-lang/mdBook/releases/download/v0.4.13/mdbook-v0.4.13-x86_64-unknown-linux-gnu.tar.gz -O mdbook.tgz - - tar zxvf mdbook.tgz - - mv mdbook /usr/local/bin/ - ./build artifacts: paths: diff --git a/build b/build index 830a89f..7ba3a47 100755 --- a/build +++ b/build @@ -3,6 +3,16 @@ set -euxo pipefail rm -rf public/ + +if [ -x $(which mdbook) ] ; then + echo "mdBook found, running..." +else + echo "mdBook not found, downloading..." + wget https://github.com/rust-lang/mdBook/releases/download/v0.4.13/mdbook-v0.4.13-x86_64-unknown-linux-gnu.tar.gz -O mdbook.tgz + tar zxvf mdbook.tgz + mv mdbook /usr/local/bin/ +fi + mdbook build -d public # Make checkboxes editable, just in case the user wants to keep their own checklist.