diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2020-06-02 19:58:56 +0000 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2020-06-02 19:58:56 +0000 |
| commit | 7e01b1a08e1c33829abac6dabbed360fc5f8c597 (patch) | |
| tree | c33676a8859265c3520765494aa6634dcc83ea99 | |
| parent | 7406f77a4ec163165fa2f89e8e9351b792e305e3 (diff) | |
Use statically compiled mdbook
| -rw-r--r-- | ci/install.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/ci/install.sh b/ci/install.sh index 5470122..9b79075 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -15,7 +15,6 @@ main() { fi rustup target add $TARGET - mkdir qemu curl -L https://github.com/japaric/qemu-bin/raw/master/14.04/qemu-system-arm-2.12.0 > qemu/qemu-system-arm chmod +x qemu/qemu-system-arm @@ -23,7 +22,15 @@ main() { pip install linkchecker --user fi - install_crate mdbook 0.3.1 + # Download binary mdbook and add to path + curl -L https://github.com/rust-lang/mdBook/releases/download/v0.3.1/mdbook-v0.3.1-x86_64-unknown-linux-gnu.tar.gz > mdbook.tar.gz + tar -xf mdbook.tar.gz + mkdir -p mdbook-bin + mv mdbook mdbook-bin/ + PATH=$(pwd)/mdbook-bin:$PATH + which mdbook + + #install_crate mdbook 0.3.1 } main |
