Unnamed repository; edit this file 'description' to name the repository.
remove unused plugin config
| -rw-r--r-- | docs/book/book.toml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/book/book.toml b/docs/book/book.toml index a6f6a6ed78..5ca4badde8 100644 --- a/docs/book/book.toml +++ b/docs/book/book.toml @@ -34,8 +34,3 @@ use-boolean-and = true [output.html.fold] enable = true level = 3 - -[preprocessor.toc] -command = "mdbook-toc" -renderer = ["html"] -max-level = 3 |