diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2020-09-27 10:07:00 -0400 |
|---|---|---|
| committer | Joshua Nelson <jyn514@gmail.com> | 2020-09-27 10:44:41 -0400 |
| commit | 80ffaed809aa9bf659acf146a26d851f594c0b25 (patch) | |
| tree | 4340432d63a235b571c6acd874c907ff38c0e3b1 /compiler/rustc_session/src | |
| parent | 03d8be08967e3fbc358bc9fe9fad9a06ddabb17f (diff) | |
| download | rust-80ffaed809aa9bf659acf146a26d851f594c0b25.tar.gz rust-80ffaed809aa9bf659acf146a26d851f594c0b25.zip | |
Add documentation for `private_intra_doc_links`
Diffstat (limited to 'compiler/rustc_session/src')
| -rw-r--r-- | compiler/rustc_session/src/lint/builtin.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_session/src/lint/builtin.rs b/compiler/rustc_session/src/lint/builtin.rs index 8c3218b8e80..0cc97fb4541 100644 --- a/compiler/rustc_session/src/lint/builtin.rs +++ b/compiler/rustc_session/src/lint/builtin.rs @@ -1831,7 +1831,7 @@ declare_lint! { /// a public item to a private one. This is a `rustdoc` only lint, see the /// documentation in the [rustdoc book]. /// - /// [rustdoc book]: ../../../rustdoc/lints.html#broken_intra_doc_links + /// [rustdoc book]: ../../../rustdoc/lints.html#private_intra_doc_links pub PRIVATE_INTRA_DOC_LINKS, Warn, "linking from a public item to a private one" |