secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

README: mdbook installation now in Makefile 

Reverts commit ec86e464ca72e7081400a85666de2a5914626f8a because mdbook
is now vendored in the Makefile install to avoid conflict with any
global version.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-14 10:01:43 +10:00
parent 64531d571f
commit 442a131669
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -77,11 +77,10 @@ For building the Rust tutorials we need `cargo`. The easiest way to get Rust
installed is via <https://rustup.rs>. Follow the instructions there. A default
install for your platform will work for the doc site.
We also need `mdbook`, which you can install with `cargo` after the installation
above is complete:
You can test if `cargo` is available after the installation by trying
```sh
cargo install mdbook
cargo --version
```
#### Python