bors c728bf3963 Auto merge of #114656 - bossmc:rework-no-coverage-attr, r=oli-obk ...

Rework `no_coverage` to `coverage(off)`

As discussed at the tail of https://github.com/rust-lang/rust/issues/84605 this replaces the `no_coverage` attribute with a `coverage` attribute that takes sub-parameters (currently `off` and `on`) to control the coverage instrumentation.

Allows future-proofing for things like `coverage(off, reason="Tested live", issue="#12345")` or similar.

2023-09-14 01:05:18 +00:00

..

book @ 72187f5cd0

Update books

2023-08-14 13:01:06 -04:00

edition-guide @ 34fca48ed2

Update books

2023-09-11 13:01:15 -04:00

embedded-book @ 99ad2847b8

Update books

2023-08-14 13:01:06 -04:00

man

Update rustc man page to match rustc --help

2022-08-01 22:03:18 +00:00

nomicon @ e3f3af69dc

Update books

2023-09-11 13:01:15 -04:00

reference @ ee7c676fd6

Update books

2023-09-11 13:01:15 -04:00

rust-by-example @ c954202c1e

Update books

2023-09-11 13:01:15 -04:00

rustc

Auto merge of #114656 - bossmc:rework-no-coverage-attr, r=oli-obk

2023-09-14 01:05:18 +00:00

rustc-dev-guide @ 08bb147d51

Update books

2023-09-11 13:01:15 -04:00

rustdoc

Fixed typo in re-exports.md

2023-09-10 02:54:37 +02:00

style-guide

style-guide: Add guidance for defining formatting for specific macros

2023-08-17 13:20:57 -07:00

unstable-book

Rename the feature, but not the attribute, to coverage_attribute

2023-09-08 12:46:09 +01:00

complement-design-faq.md

…

complement-lang-faq.md

…

complement-project-faq.md

…

favicon.inc

doc: no shortcut in rel="icon"

2022-01-28 13:42:48 +01:00

footer.inc

avoid reuse tripping over copyright notices

2023-03-09 12:24:43 +01:00

full-toc.inc

…

grammar.md

Remove legacy grammar

2019-09-30 07:46:10 +02:00

guide-crates.md

…

guide-error-handling.md

Convert old doc links to current edition

2019-02-13 14:39:25 +00:00

guide-ffi.md

…

guide-macros.md

…

guide-ownership.md

Convert old doc links to current edition

2019-02-13 14:39:25 +00:00

guide-plugins.md

Add top level sections to the Unstable Book.

2017-04-18 21:26:09 -04:00

guide-pointers.md

Convert old doc links to current edition

2019-02-13 14:39:25 +00:00

guide-strings.md

…

guide-tasks.md

…

guide-testing.md

Convert old doc links to current edition

2019-02-13 14:39:25 +00:00

guide-unsafe.md

…

guide.md

…

index.md

doc: cleanup of doc/index.md

2023-02-24 13:21:02 -05:00

intro.md

…

not_found.md

Update location from a relative path to absolute

2022-01-07 01:29:20 -08:00

redirect.inc

doc: no shortcut in rel="icon"

2022-01-28 13:42:48 +01:00

reference.md

Update reference.md

2021-07-10 19:51:36 +02:00

robots.txt

Block version-specific docs from search engines

2020-03-14 02:29:35 +00:00

rust.css

override rustdoc.css {webkit,moz} box-sizing:unset

2021-06-29 13:05:00 +08:00

rust.md

Avoid linking to a moved page in rust.html

2017-03-29 15:38:47 +02:00

rustdoc.md

…

tutorial.md

Update tutorial.md

2018-05-17 12:25:24 -07:00

version_info.html.template

…