diff options
author | Aleksey Kladov <[email protected]> | 2019-09-02 12:42:23 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-09-02 12:42:23 +0100 |
commit | 798dc2ca8024c68b02c8e878603c0a4b00dc44e5 (patch) | |
tree | c49e1c5a1c0cf96a706521bc51b7d98de224ee02 /.cargo/config | |
parent | fdb2874e3e15838d9015aa9eb5ce92dc8e66431f (diff) |
start GitHub pages
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 |