diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-02-14 21:46:17 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-14 21:46:17 +0100 |
| commit | 92fd6bf85624873008306e662329b2e7a0545436 (patch) | |
| tree | 4761e686e050a70004beb8a376a6a9d919e26504 /ci/after-success.sh | |
| parent | c37f414a8349fa7497010ffc5b4ab064f0ae9780 (diff) | |
set a redirect from book/ to book/en/
closes #148
Diffstat (limited to 'ci/after-success.sh')
| -rw-r--r-- | ci/after-success.sh | 1 |
1 files changed, 1 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 |