diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-03-02 22:08:03 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-02 22:08:03 +0100 |
| commit | 4a3f7ea123aa4ed2f89531b4cd25773264301ff8 (patch) | |
| tree | b7f6ed4d5a6094b429b6adda255eb38bf314719d /book/en | |
| parent | 81ca9060438a43f02d1d6865834a3d4401d610d7 (diff) | |
Book: Fail if a non-existing file is included
Diffstat (limited to 'book/en')
| -rw-r--r-- | book/en/book.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/book/en/book.toml b/book/en/book.toml index 50d5f16..25f841a 100644 --- a/book/en/book.toml +++ b/book/en/book.toml @@ -10,6 +10,9 @@ multilingual = false src = "src" title = "Real-Time Interrupt-driven Concurrency" +[build] +create-missing = false + [preprocessor.mermaid] command = "mdbook-mermaid" |