Remove all section numbers to prevent confusing labelling

model-checking · Aug 28, 2024 · 5dd8c9a · 5dd8c9a
1 parent 1f0fc95
commit 5dd8c9a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/book.toml b/doc/book.toml
@@ -12,6 +12,7 @@ build-dir = "../book"
 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