move some files to new etc directory

This commit is contained in:
Trevor Spiteri 2021-03-23 11:05:35 +01:00
parent 2574fcdf73
commit 387bc69eb2
3 changed files with 1 additions and 1 deletions

View File

@ -120,7 +120,7 @@ pages:
- rustup toolchain install --profile minimal nightly-$TARGET
- rm -rf public
- mkdir public
- cp doc/index.html public
- cp etc/index.html public
- cargo +nightly-$TARGET doc --no-deps --features "num-traits serde std"
- mv target/doc public/dev
artifacts: