From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- src/doc/rustc-dev-guide/book.toml | 45 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 src/doc/rustc-dev-guide/book.toml (limited to 'src/doc/rustc-dev-guide/book.toml') diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml new file mode 100644 index 000000000..51dc8ecb0 --- /dev/null +++ b/src/doc/rustc-dev-guide/book.toml @@ -0,0 +1,45 @@ +[book] +title = "Guide to Rustc Development" +author = "Rustc developers" +description = "A guide to developing rustc" + +[build] +create-missing = false + +[preprocessor.toc] +command = "mdbook-toc" +renderer = ["html"] + +[preprocessor.mermaid] +command = "mdbook-mermaid" + +[output.html] +git-repository-url = "https://github.com/rust-lang/rustc-dev-guide" +edit-url-template = "https://github.com/rust-lang/rustc-dev-guide/tree/master/{path}?mode=edit" +additional-js = ["mermaid.min.js", "mermaid-init.js"] + +[output.html.fold] +enable = true +level = 0 + +[output.linkcheck] +command = "ci/linkcheck.sh" +follow-web-links = true +exclude = [ + "crates\\.io", + "gcc\\.godbolt\\.org", + "youtube\\.com", + "youtu\\.be", + "dl\\.acm\\.org", + "cs\\.bgu\\.ac\\.il", + "www\\.amazon\\.com", + "www\\.rustaceans\\.org", + "play\\.rust-lang\\.org", + "tomlee\\.co" +] +cache-timeout = 86400 +warning-policy = "error" + +[output.html.redirect] +"/compiletest.html" = "tests/compiletest.html" +"/diagnostics/sessiondiagnostic.html" = "diagnostics/diagnostic-structs.html" -- cgit v1.2.3