Rename documentation output directory and update redirect in index.html

This commit is contained in:
Palash Tyagi 2025-05-04 18:41:02 +01:00
parent 63f1a83c2d
commit e74617f2e4

View File

@ -101,7 +101,9 @@ jobs:
cp last-commit-date.json target/doc/rustframe/
mkdir -p target/doc/rustframe/.github
cp .github/rustframe_logo.png target/doc/rustframe/.github/
echo "<meta http-equiv=\"refresh\" content=\"0; url=rustframe\">" > target/doc/index.html
mv target/doc/rustframe target/doc/docs
echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
- name: Upload Pages artifact
if: github.event_name == 'push'