diff --git a/library/stdarch/ci/dox.sh b/library/stdarch/ci/dox.sh index 461808dab28f..8a78230c13d0 100755 --- a/library/stdarch/ci/dox.sh +++ b/library/stdarch/ci/dox.sh @@ -15,6 +15,10 @@ dox() { echo documenting $arch + if [ "$CI" != "" ]; then + rustup target add $target || true + fi + rm -rf target/doc/$arch mkdir target/doc/$arch