serinko/patch/ci-docs

I was not finished with the previous PR - was merged too fast
2023-10-17 10:27:35 +00:00
parent f9971fbc8d
commit a6180a54bf
1 changed files with 3 additions and 1 deletions
@@ -35,7 +35,9 @@ jobs:
            --vers "^1.8.0" mdbook-admonish --force && cargo install --vers \
            "^0.1.2" mdbook-last-changed && cargo install --vers "^0.1.2" mdbook-theme \
            && cargo install --vers "^0.7.7" mdbook-linkcheck \
-            && mdbook-admonish install
+            && mdbook-admonish install ./dev-portal/ \
+            && mdbook-admonish install ./docs/ \ 
+            && mdbook-admonish install ./operators/ \
      - name: Build all projects in documentation/ & move to ~/dist/docs/
        run: cd documentation && ./build_all_to_dist.sh
        continue-on-error: false