Merge pull request #60 from Magnus167/docs-title-link

Add redirect meta tag to documentation index.html
This commit is contained in:
Palash Tyagi 2025-07-20 00:28:10 +01:00 committed by GitHub
commit 6abf4ec983
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -151,6 +151,8 @@ jobs:
mkdir -p target/doc/docs mkdir -p target/doc/docs
mv target/doc/rustframe/* target/doc/docs/ mv target/doc/rustframe/* target/doc/docs/
echo "<meta http-equiv=\"refresh\" content=\"0; url=../docs/index.html\">" > target/doc/rustframe/index.html
mkdir output mkdir output
cp tarpaulin-report.html target/doc/docs/ cp tarpaulin-report.html target/doc/docs/
cp tarpaulin-report.json target/doc/docs/ cp tarpaulin-report.json target/doc/docs/