Add workflow for docs deployment

2023-04-13 13:41:04 +02:00
parent f30f0e8316
commit 42d8b06346
1 changed files with 2 additions and 0 deletions
@@ -38,6 +38,8 @@ jobs:
            "^0.1.2" mdbook-last-changed && cargo install --vers "^0.1.2" \
            mdbook-theme && cargo install --vers "^0.7.7" mdbook-linkcheck && \
            cargo install --vers "^0.5.0" mdbook-cmdrun
+      - name: Clean website
+        run: cd documentation/docs && mdbook clean
      - name: Build website
        run: cd documentation/docs && mdbook build
      - name: Deploy branch to CI www