diff options
Diffstat (limited to '.cargo/config')
-rw-r--r-- | .cargo/config | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.cargo/config b/.cargo/config index 92a3acfd0..9f9b24a49 100644 --- a/.cargo/config +++ b/.cargo/config | |||
@@ -5,6 +5,8 @@ gen-syntax = "run --package ra_tools --bin ra_tools -- gen-syntax" | |||
5 | # Extracts the tests from | 5 | # Extracts the tests from |
6 | gen-tests = "run --package ra_tools --bin ra_tools -- gen-tests" | 6 | gen-tests = "run --package ra_tools --bin ra_tools -- gen-tests" |
7 | 7 | ||
8 | build-website = "run --package website-gen" | ||
9 | |||
8 | # Installs the visual studio code extension | 10 | # Installs the visual studio code extension |
9 | install-ra = "run --package ra_tools --bin ra_tools -- install-ra" | 11 | install-ra = "run --package ra_tools --bin ra_tools -- install-ra" |
10 | install-code = "run --package ra_tools --bin ra_tools -- install-ra" # just an alias | 12 | install-code = "run --package ra_tools --bin ra_tools -- install-ra" # just an alias |