Fix docs build (#8663) (#8667)

automerge
This commit is contained in:
Grimes
2020-03-05 10:25:43 -08:00
committed by GitHub
parent 57813041d2
commit ac3fe1da02

View File

@ -11,7 +11,7 @@ if [[ -n $CI_BRANCH ]]; then
set -x set -x
( (
. ci/rust-version.sh stable . ci/rust-version.sh stable
ci/docker-run.sh "$rust_stable_docker_image" make -C docs -B svg ci/docker-run.sh "$rust_stable_docker_image" make -C docs
) )
# make a local commit for the svgs # make a local commit for the svgs
git add -A -f docs/src/.gitbook/assets/. git add -A -f docs/src/.gitbook/assets/.