From 92fd6bf85624873008306e662329b2e7a0545436 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Thu, 14 Feb 2019 21:46:17 +0100 Subject: [PATCH] set a redirect from book/ to book/en/ closes #148 --- ci/after-success.sh | 1 + redirect.html | 1 + 2 files changed, 2 insertions(+) create mode 100644 redirect.html 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 @@ +