mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-01-10 07:07:59 -05:00
Disable running book code blocks (#1291)
mdbook offers to execute code blocks (since they are tagged as `rust`), which fails. Remove the option to run code blocks.
This commit is contained in:
committed by
GitHub
parent
d67eda4300
commit
38d2c11368
@@ -4,3 +4,6 @@ language = "en"
|
||||
multilingual = false
|
||||
src = "src"
|
||||
title = "powdr"
|
||||
|
||||
[output.html.playground]
|
||||
runnable = false
|
||||
|
||||
Reference in New Issue
Block a user