aboutsummaryrefslogtreecommitdiff
path: root/xtask/src/help.rs
diff options
context:
space:
mode:
Diffstat (limited to 'xtask/src/help.rs')
-rw-r--r--xtask/src/help.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/xtask/src/help.rs b/xtask/src/help.rs
deleted file mode 100644
index 9c78ba37f..000000000
--- a/xtask/src/help.rs
+++ /dev/null
@@ -1,33 +0,0 @@
1//! FIXME: write short doc here
2
3pub const GLOBAL_HELP: &str = "tasks
4
5USAGE:
6 ra_tools <SUBCOMMAND>
7
8FLAGS:
9 -h, --help Prints help information
10
11SUBCOMMANDS:
12 format
13 install-pre-commit-hook
14 fuzz-tests
15 codegen
16 install
17 lint";
18
19pub const INSTALL_HELP: &str = "ra_tools-install
20
21USAGE:
22 ra_tools.exe install [FLAGS]
23
24FLAGS:
25 --client-code
26 -h, --help Prints help information
27 --jemalloc
28 --server";
29
30pub const INSTALL_RA_CONFLICT: &str =
31 "error: The argument `--server` cannot be used with `--client-code`
32
33For more information try --help";