diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-11 19:16:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-11 19:16:23 +0000 |
| commit | bfcbff3dae6ea92678549cc36ada5f0a8482797e (patch) | |
| tree | 77ba0ad2c4debad5c8290e750cd06046b8ae9b77 /.github/workflows/publish.yml | |
| parent | 9ffb5dd45e280ec8fba82558c8db38d36b7f4854 (diff) | |
| parent | 9b7f1ac30ce40ad42c0c5d0c44378f5436a22d10 (diff) | |
Merge #327
327: Small renaming fixes r=korken89 a=AfoHT
Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
Diffstat (limited to '.github/workflows/publish.yml')
| -rw-r--r-- | .github/workflows/publish.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 7436bf8..5c534fc 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -47,7 +47,7 @@ jobs: cp -r target/doc $td/$latest/api # sed fixes - sed 's|URL|rtfm/index.html|g' redirect.html > $td/$latest/api/index.html + sed 's|URL|rtic/index.html|g' redirect.html > $td/$latest/api/index.html sed 's|URL|0.5|g' redirect.html > $td/index.html sed 's|URL|book/en|g' redirect.html > $td/$latest/index.html @@ -65,13 +65,13 @@ jobs: mkdir -p $td/$prefix/book src=$(mktemp -d) - curl -L https://github.com/rtfm-rs/cortex-m-rtfm/archive/v${ver}.tar.gz | tar xz --strip-components 1 -C $src + curl -L https://github.com/rtic-rs/cortex-m-rtic/archive/v${ver}.tar.gz | tar xz --strip-components 1 -C $src pushd $src rm -f .cargo/config cargo doc || cargo doc --features timer-queue cp -r target/doc $td/$prefix/api - sed 's|URL|rtfm/index.html|g' $root/redirect.html > $td/$prefix/api/index.html + sed 's|URL|rtic/index.html|g' $root/redirect.html > $td/$prefix/api/index.html for lang in ${langs[@]}; do ( cd book/$lang && mdbook build ) cp -r book/$lang/book $td/$prefix/book/$lang |