diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-01-23 10:46:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-23 10:46:59 -0500 |
| commit | 33893a8d5bce0c5ca225c28fc5dfa94900783aad (patch) | |
| tree | 21d208d25bea9acfea381c71aec3344616c7e59b /src/doc/rustc-dev-guide/ci | |
| parent | 7c2f429b2546491a31f4498da314862bbf48dff9 (diff) | |
| parent | 00363d7c56a21967146ffde3e13240dbcc4dde5f (diff) | |
Merge pull request #19 from nikomatsakis/master
invoke `cargo` to install mdbook
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rw-r--r-- | src/doc/rustc-dev-guide/ci/install.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/install.sh b/src/doc/rustc-dev-guide/ci/install.sh index d9cb369e548..fac6488b68d 100644 --- a/src/doc/rustc-dev-guide/ci/install.sh +++ b/src/doc/rustc-dev-guide/ci/install.sh @@ -1,6 +1,10 @@ #!/bin/bash set -ex +if command -v mdbook >/dev/null 2>&1; then + cargo install mdbook --vers "0.0.28" +fi + if command -v ghp-import >/dev/null 2>&1; then pip install ghp-import -fi \ No newline at end of file +fi |