diff options
Diffstat (limited to 'dev_tools')
| -rw-r--r-- | dev_tools/src/bin/ci.rs | 9 |
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."); } |
