Rename theme-checker option to check-theme

This commit is contained in:
Guillaume Gomez 2019-06-30 19:24:32 +02:00
parent 82872addf1
commit 8f44c604d2
5 changed files with 9 additions and 9 deletions

View file

@ -59,7 +59,7 @@ pub static RUST_FAVICON: &'static [u8] = include_bytes!("static/favicon.ico");
/// The built-in themes given to every documentation site.
pub mod themes {
/// The "light" theme, selected by default when no setting is available. Used as the basis for
/// the `--theme-checker` functionality.
/// the `--check-theme` functionality.
pub static LIGHT: &'static str = include_str!("static/themes/light.css");
/// The "dark" theme.