diff options
Diffstat (limited to '.cargo')
| -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 |