aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2019-02-14 21:46:17 +0100
committerJorge Aparicio <jorge@japaric.io>2019-02-14 21:46:17 +0100
commit92fd6bf85624873008306e662329b2e7a0545436 (patch)
tree4761e686e050a70004beb8a376a6a9d919e26504
parentc37f414a8349fa7497010ffc5b4ab064f0ae9780 (diff)
set a redirect from book/ to book/en/
closes #148
-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/'" />