Unrolled build for #149720

Rollup merge of #149720 - jtracey:patch-1, r=notriddle

rustdoc book: mention inner doc attribute

Couldn't find this documented anywhere else.

Author: rust-timer

src/doc/rustdoc/src/write-documentation/the-doc-attribute.md

@@ -4,8 +4,8 @@ The `#[doc]` attribute lets you control various aspects of how `rustdoc` does
 its job.
 
 The most basic function of `#[doc]` is to handle the actual documentation
-text. That is, `///` is syntax sugar for `#[doc]`. This means that these two
-are the same:
+text. That is, `///` is syntax sugar for `#[doc]` (as is `//!` for `#![doc]`).
+This means that these two are the same:
 
 ```rust,no_run
 /// This is a doc comment.