diff --git a/ci/after-success.sh b/ci/after-success.sh index 14fccff37b..65ddb90483 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -9,6 +9,7 @@ main() { local td=$(mktemp -d) cp -r target/doc $td/api mkdir $td/book/ + cp redirect.html $td/book/index.html for lang in ${langs[@]}; do ( cd book/$lang && mdbook build ) cp -r book/$lang/book $td/book/$lang diff --git a/redirect.html b/redirect.html new file mode 100644 index 0000000000..cb3c646219 --- /dev/null +++ b/redirect.html @@ -0,0 +1 @@ +