diff options
| author | InfRandomness <infrandomness@gmail.com> | 2022-06-05 23:33:39 +0200 |
|---|---|---|
| committer | InfRandomness <infrandomness@gmail.com> | 2022-07-03 22:30:30 +0200 |
| commit | dbe77e856ad5cf6298de19ce5c2730f2f631b4ef (patch) | |
| tree | c807d7276789b9bf470aca4bc3907d93fcabc0c4 | |
| parent | 0e21a27075a8c508f00d1a4430497f17ce93d5c9 (diff) | |
| download | rust-dbe77e856ad5cf6298de19ce5c2730f2f631b4ef.tar.gz rust-dbe77e856ad5cf6298de19ce5c2730f2f631b4ef.zip | |
Add miri to the rustc docs.rs page
This adds miri to https://doc.rust-lang.org/nightly/nightly-rustc/ Signed-off-by: InfRandomness <infrandomness@gmail.com>
| -rw-r--r-- | src/bootstrap/builder.rs | 1 | ||||
| -rw-r--r-- | src/bootstrap/doc.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/bootstrap/builder.rs b/src/bootstrap/builder.rs index 755c532ab32..fa2a530d9db 100644 --- a/src/bootstrap/builder.rs +++ b/src/bootstrap/builder.rs @@ -694,6 +694,7 @@ impl<'a> Builder<'a> { doc::RustcBook, doc::CargoBook, doc::Clippy, + doc::Miri, doc::EmbeddedBook, doc::EditionGuide, ), diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index be6655ddb61..31eda2dc984 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -737,6 +737,7 @@ tool_doc!( ["rustfmt-nightly", "rustfmt-config_proc_macro"], ); tool_doc!(Clippy, "clippy", "src/tools/clippy", ["clippy_utils"]); +tool_doc!(Miri, "miri", "src/tools/miri", ["miri"]); #[derive(Ord, PartialOrd, Debug, Copy, Clone, Hash, PartialEq, Eq)] pub struct ErrorIndex { |