Fix mdbook path

This commit is contained in:
Andrzej Janik 2025-08-14 17:55:31 -07:00
commit cdc05b631c

View file

@ -8,4 +8,4 @@ build:
- cargo install mdbook mdbook-alerts --root .
build:
html:
- ./bin/mdbook build docs --dest-dir $READTHEDOCS_OUTPUT/html
- PATH=$PATH:/bin mdbook build docs --dest-dir $READTHEDOCS_OUTPUT/html