diff options
Diffstat (limited to '')
| -rw-r--r-- | ci/after-success.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh index 3caf8dc5..54bea2c0 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -31,6 +31,7 @@ main() { curl -L https://github.com/rtfm-rs/cortex-m-rtfm/archive/v${ver}.tar.gz | tar xz --strip-components 1 -C $src pushd $src + rm -f .cargo/config cargo doc || cargo doc --features timer-queue cp -r target/doc $td/$prefix/api sed 's|URL|rtfm/index.html|g' $root/redirect.html > $td/$prefix/api/index.html |