aboutsummaryrefslogtreecommitdiff
path: root/dev_tools
diff options
context:
space:
mode:
Diffstat (limited to 'dev_tools')
-rw-r--r--dev_tools/src/bin/ci.rs9
1 files changed, 5 insertions, 4 deletions
diff --git a/dev_tools/src/bin/ci.rs b/dev_tools/src/bin/ci.rs
index c0afd2d..d1071ab 100644
--- a/dev_tools/src/bin/ci.rs
+++ b/dev_tools/src/bin/ci.rs
@@ -13,10 +13,11 @@ fn print_help() {
println!("Usage: ci [options]");
println!();
println!("Options:");
- println!(" -h, --help Print this help message");
- println!(" -y Auto-confirm temporary commits");
- println!(" --test-docs Run documentation tests (build, clippy, test)");
- println!(" --test-codes Test examples and documentation code blocks");
+ println!(" -h, --help Print this help message");
+ println!(" -y Auto-confirm temporary commits");
+ println!(" --refresh-docs Refresh documentation files");
+ println!(" --test-docs Run documentation tests (build, clippy, test)");
+ println!(" --test-codes Test examples and documentation code blocks");
println!();
println!("If no specific options are given, all checks are run.");
}