diff options
Diffstat (limited to 'ci')
| -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 |