aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ci/after-success.sh1
-rw-r--r--redirect.html1
2 files changed, 2 insertions, 0 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh
index 14fccff..65ddb90 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 0000000..cb3c646
--- /dev/null
+++ b/redirect.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; URL='https://japaric.github.io/cortex-m-rtfm/book/en/'" />