ci: use script to build the docs

This commit is contained in:
Quentin Gliech
2023-07-27 17:31:12 +02:00
parent f89154c5ed
commit b9ba1bedbc

View File

@@ -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: |