rustdoc: stabilise --default-theme

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.)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
This commit is contained in:
Ian Jackson
2020-12-02 18:32:38 +00:00
parent 25740fc682
commit 36ee3bde07

View File

@@ -269,7 +269,7 @@ fn opts() -> Vec<RustcOptGroup> {
"sort modules by where they appear in the program, rather than alphabetically", "sort modules by where they appear in the program, rather than alphabetically",
) )
}), }),
unstable("default-theme", |o| { stable("default-theme", |o| {
o.optopt( o.optopt(
"", "",
"default-theme", "default-theme",