book.toml

[book]
title = "Verify Rust Std Lib"
description = "How & What?"
authors = ["Kani Developers"]
language = "en"
multilingual = false

[build]
build-dir = "../book"

[output.html]
site-url = "/verify-rust-std/"
git-repository-url = "https://github.com/model-checking/verify-rust-std"
edit-url-template = "https://github.com/model-checking/verify-rust-std/edit/main/doc/{path}"
no-section-label = true

[output.html.playground]
runnable = false

[output.linkcheck]

[preprocessor.metrics]
# Note that the manifest-path is doc/mdbook-metrics, meaning that to build this book, you need to run "mdbook build doc"
# rather than "mdbook build" from inside the doc/ directory.
# We choose the former because our "Build Book" Github workflow runs "mdbook build doc."
command = "cargo run --manifest-path=doc/mdbook-metrics/Cargo.toml"

[rust]
edition = "2021"