ci: remove copy to ./docs so gh pages deploy works

This commit is contained in:
rzmk 2023-09-19 00:23:40 -04:00
parent bc6c7ca4ba
commit 4f36a3cc32
No known key found for this signature in database

View file

@ -20,9 +20,7 @@ jobs:
run: | run: |
cd ladderz cd ladderz
cargo doc cargo doc
rm -rf ./docs
echo '<meta http-equiv="refresh" content="0; url=https://rzmk.github.io/ladderz/ladderz/index.html" />' > ./target/doc/index.html echo '<meta http-equiv="refresh" content="0; url=https://rzmk.github.io/ladderz/ladderz/index.html" />' > ./target/doc/index.html
cp -r ./target/doc ./docs
cd .. cd ..
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages