Add readthedocs configuration and update mdbook

This commit is contained in:
Niklas Mohrin 2026-08-13 01:28:18 +02:00
commit fabb378368
No known key found for this signature in database
GPG key ID: 0ACD89A5C1DEB3EB
4 changed files with 18 additions and 7 deletions

View file

@ -77,10 +77,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v7
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v2
with:
mdbook-version: '0.4.4'
- run: ./scripts/get-mdbook.sh
- name: Setup toolchain
uses: dtolnay/rust-toolchain@master
with:
@ -88,7 +85,7 @@ jobs:
- name: Build
run: cargo build --locked
- name: Ensure that docs can be built
run: cd docs && mdbook build
run: ./mdbook build docs
- name: Generate usage string
run: cargo run --locked -- --help > docs/src/usage-actual.txt
- name: Ensure that usage string is up to date