ci: generate link redirections when publising contrib doc

rust-lang · Oct 18, 2023 · 4f0016d · 4f0016d
1 parent 208922f
commit 4f0016d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/contrib.yml b/.github/workflows/contrib.yml
@@ -27,14 +27,23 @@ jobs:
         echo `pwd`/mdbook >> $GITHUB_PATH
     - name: Deploy docs
       run: |
+        GENERATE_PY="$(pwd)/ci/generate.py"
+
         cd src/doc/contrib
         mdbook build
+
         # Override previous ref to avoid keeping history.
         git worktree add --orphan -B gh-pages gh-pages
         git config user.name "Deploy from CI"
         git config user.email ""
         cd gh-pages
         mv ../book contrib
         git add contrib
+
+        # Generate HTML for link redirections.
+        python3 "$GENERATE_PY"
+        git add *.html
+        git add CNAME
+
         git commit -m "Deploy $GITHUB_SHA to gh-pages"
         git push origin +gh-pages