rm broken rustdoc-header.html (#10091)

This commit is contained in:
Dan Shields
2021-11-04 19:54:31 +01:00
committed by GitHub
parent 58a3ab2813
commit 9fb9d7b8f0
2 changed files with 1 additions and 12 deletions
+1 -2
View File
@@ -661,8 +661,7 @@ build-rustdoc:
- ./crate-docs/
script:
# FIXME: it fails with `RUSTDOCFLAGS="-Dwarnings"`
- RUSTDOCFLAGS="--html-in-header $(pwd)/.maintain/rustdoc-header.html"
time cargo +nightly doc --no-deps --workspace --all-features --verbose
- time cargo +nightly doc --no-deps --workspace --all-features --verbose
- rm -f ./target/doc/.lock
- mv ./target/doc ./crate-docs
# FIXME: remove me after CI image gets nonroot