diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2019-11-05 11:18:49 -0600 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-11-05 11:58:33 -0600 |
| commit | 05185d2d7be648979ea9c897391932f00c5eaea8 (patch) | |
| tree | 0e32a7e1339798887eab91c25ab7b5aebd58ec01 /src/doc/rustc-dev-guide/ci | |
| parent | 996acad260a3879abf946b79769696962ef09779 (diff) | |
remove all the hacks, add some improvements
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/build.sh | 10 | ||||
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/install.sh | 4 |
2 files changed, 2 insertions, 12 deletions
diff --git a/src/doc/rustc-dev-guide/ci/build.sh b/src/doc/rustc-dev-guide/ci/build.sh deleted file mode 100755 index 504957b3f4e..00000000000 --- a/src/doc/rustc-dev-guide/ci/build.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -x - -set -e - -mkdir -p book/ -cp -r $HOME/linkcheck/ book/ -RUST_LOG=mdbook_linkcheck=debug mdbook-linkcheck -s -cp -r book/linkcheck $HOME/ - -mdbook build diff --git a/src/doc/rustc-dev-guide/ci/install.sh b/src/doc/rustc-dev-guide/ci/install.sh index a81e21c5616..5cb2f41fca9 100755 --- a/src/doc/rustc-dev-guide/ci/install.sh +++ b/src/doc/rustc-dev-guide/ci/install.sh @@ -20,5 +20,5 @@ function cargo_install() { fi } -cargo_install mdbook 0.3.1 -cargo_install mdbook-linkcheck 0.4.0 +cargo_install mdbook 0.3.4 +cargo_install mdbook-linkcheck 0.5.0 |