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