diff options
| author | bors <bors@rust-lang.org> | 2020-12-27 09:55:51 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-12-27 09:55:51 +0000 |
| commit | dc6121ca681e3aef09b93afb13637632dcdc0e9a (patch) | |
| tree | 9467813295305ecfaedaca1643de0a2f9e102b2d /src/librustdoc/lib.rs | |
| parent | 1d517afcd0929450ded8f644fa8e8da3776db68b (diff) | |
| parent | 63f3876b856e8e995d2b4960ca9f6f617950ce7b (diff) | |
| download | rust-dc6121ca681e3aef09b93afb13637632dcdc0e9a.tar.gz rust-dc6121ca681e3aef09b93afb13637632dcdc0e9a.zip | |
Auto merge of #79642 - ijackson:default-theme-stab, r=jyn514
rustdoc: stabilise --default-theme command line option As discussed in #77213, this seems like it has bedded in and can be safely and usefully made stable. (rustdoc already has other stable options that interact quite intimately with the rustdoc-supplied CSS, and also an option for supplying entirely different CSS, so exposing the theme names this way seems a very minor step.) There is also a commit to do some minor grammar fixes to the help message.
Diffstat (limited to 'src/librustdoc/lib.rs')
| -rw-r--r-- | src/librustdoc/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustdoc/lib.rs b/src/librustdoc/lib.rs index 72f1b817d5d..e8bf664d45c 100644 --- a/src/librustdoc/lib.rs +++ b/src/librustdoc/lib.rs @@ -263,13 +263,13 @@ fn opts() -> Vec<RustcOptGroup> { "sort modules by where they appear in the program, rather than alphabetically", ) }), - unstable("default-theme", |o| { + stable("default-theme", |o| { o.optopt( "", "default-theme", "Set the default theme. THEME should be the theme name, generally lowercase. \ If an unknown default theme is specified, the builtin default is used. \ - The set of themes, and the rustdoc built-in default is not stable.", + The set of themes, and the rustdoc built-in default, are not stable.", "THEME", ) }), |