From b9ba1bedbccccc6799521da88855a2ed1850bc4e Mon Sep 17 00:00:00 2001 From: Quentin Gliech Date: Thu, 27 Jul 2023 17:31:12 +0200 Subject: [PATCH] ci: use script to build the docs --- .github/workflows/docs.yaml | 22 +--------------------- 1 file changed, 1 insertion(+), 21 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 8063d4e84..3d97164bb 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -42,28 +42,8 @@ jobs: cache: 'npm' cache-dependency-path: frontend/package-lock.json - - name: Install Node dependencies - working-directory: ./frontend - run: npm ci - - name: Build the documentation - run: mdbook build - - - name: Build rustdoc - env: - # This is required to be able to use the unstable `-Zrustdoc-map` flag - RUSTC_BOOTSTRAP: "1" - run: cargo doc -Zrustdoc-map --workspace --lib --no-deps - - - name: Remove the rustdoc lock file - run: rm -f target/doc/.lock - - - name: Build storybook - working-directory: ./frontend - run: npx storybook build -o ../target/book/storybook - - - name: Move the Rust documentation within the mdBook - run: mv target/doc target/book/rustdoc + run: sh misc/build-docs.sh - name: Fix permissions run: |