Document the automatically_derived attribute.

Author: ehuss

src/attributes.md

@@ -185,6 +185,8 @@ The following is an index of all built-in attributes.
   - [`should_panic`] — Indicates a test should generate a panic.
 - Derive
   - [`derive`] — Automatic trait implementations.
+  - [`automatically_derived`] — Marker for implementations created by
+    `derive`.
 - Macros
   - [`macro_export`] — Exports a `macro_rules` macro for cross-crate usage.
   - [`macro_use`] — Expands macro visibility, or imports macros from other
@@ -250,6 +252,7 @@ The following is an index of all built-in attributes.
 [_LiteralExpression_]: expressions/literal-expr.html
 [_SimplePath_]: paths.html#simple-paths
 [`allow`]: attributes/diagnostics.html#lint-check-attributes
+[`automatically_derived`]: attributes/derive.html#the-automatically_derived-attribute
 [`cfg_attr`]: conditional-compilation.html#the-cfg_attr-attribute
 [`cfg`]: conditional-compilation.html#the-cfg-attribute
 [`cold`]: attributes/codegen.html#the-cold-attribute

src/attributes/derive.md

@@ -33,10 +33,18 @@ impl<T: PartialEq> PartialEq for Foo<T> {
 
 You can implement `derive` for your own traits through [procedural macros].
 
+## The `automatically_derived` attribute
+
+The *`automatically_derived` attribute* is automatically added to
+[implementations] created by the `derive` attribute for built-in traits. It
+has no direct effect, but it may be used by tools and diagnostic lints to
+detect these automatically generated implementations.
+
 [_MetaListPaths_]: attributes.html#meta-item-attribute-syntax
 [`Clone`]: ../std/clone/trait.Clone.html
 [`PartialEq`]: ../std/cmp/trait.PartialEq.html
 [`impl` item]: items/implementations.html
-[items]: items.html
 [derive macros]: procedural-macros.html#derive-macros
+[implementations]: items/implementations.html
+[items]: items.html
 [procedural macros]: procedural-macros.html#derive-macros