diff options
Diffstat (limited to '')
-rw-r--r-- | src/tools/clippy/book/book.toml | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/tools/clippy/book/book.toml b/src/tools/clippy/book/book.toml new file mode 100644 index 000000000..93b6641f7 --- /dev/null +++ b/src/tools/clippy/book/book.toml @@ -0,0 +1,28 @@ +[book] +authors = ["The Rust Clippy Developers"] +language = "en" +multilingual = false +src = "src" +title = "Clippy Documentation" + +[rust] +edition = "2018" + +[output.html] +edit-url-template = "https://github.com/rust-lang/rust-clippy/edit/master/book/{path}" +git-repository-url = "https://github.com/rust-lang/rust-clippy/tree/master/book" +mathjax-support = true +site-url = "/rust-clippy/" + +[output.html.playground] +editable = true +line-numbers = true + +[output.html.search] +boost-hierarchy = 2 +boost-paragraph = 1 +boost-title = 2 +expand = true +heading-split-level = 2 +limit-results = 20 +use-boolean-and = true |