]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #82798 - jyn514:rustdoc-group, r=Manishearth,GuillaumeGomez
authorYuki Okushi <huyuumi.dev@gmail.com>
Sun, 14 Mar 2021 04:07:32 +0000 (13:07 +0900)
committerGitHub <noreply@github.com>
Sun, 14 Mar 2021 04:07:32 +0000 (13:07 +0900)
commit33614023a186133841322ac9bae70a6123f853f0
tree9c16426d53ff7ff10351db5ff2ad3d34a74a3a04
parent0d9a6edb50ede7496b61e8b6b2eea9944439481a
parent45229b0777e6791625392529c2c9d8eceac28dbd
Rollup merge of #82798 - jyn514:rustdoc-group, r=Manishearth,GuillaumeGomez

Rename `rustdoc` to `rustdoc::all`

When rustdoc lints were changed to be tool lints, the `rustdoc` group was removed, leading to spurious warnings like

```
warning: unknown lint: `rustdoc`
```

The lint group still worked when rustdoc ran, since rustdoc added the group itself.

This renames the group to `rustdoc::all` for consistency with `clippy::all` and the rest of the rustdoc lints.

Follow-up to #80527.
r? ``@Manishearth``
compiler/rustc_lint/src/lib.rs