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 /src/bootstrap/doc.rs | |
| 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>
Diffstat (limited to 'src/bootstrap/doc.rs')
| -rw-r--r-- | src/bootstrap/doc.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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 { |