Add redirect meta tag to generated index.html for documentation

This commit is contained in:
Palash Tyagi 2025-07-19 23:39:58 +01:00
parent 27e9eab028
commit 74fac9d512

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/