diff options
| author | Aleksey Kladov <[email protected]> | 2021-03-08 18:13:15 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-03-08 18:45:37 +0000 |
| commit | 1eb61203b725684fd2c7e25ac7e2d53eef10c64c (patch) | |
| tree | aae264078123fc4b9cbe6c9189179f6f147f8a88 /docs/dev | |
| parent | abb6b8f14c4d05cf344048263651d8192997b6cf (diff) | |
Make `code generation` just work
Contributors don't need to learn about `cargo xtask codegen` if `cargo
test` just does the right thing.
Diffstat (limited to 'docs/dev')
| -rw-r--r-- | docs/dev/architecture.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/dev/architecture.md b/docs/dev/architecture.md index ead12616e..0a3fd4285 100644 --- a/docs/dev/architecture.md +++ b/docs/dev/architecture.md | |||
| @@ -308,9 +308,8 @@ This sections talks about the things which are everywhere and nowhere in particu | |||
| 308 | ### Code generation | 308 | ### Code generation |
| 309 | 309 | ||
| 310 | Some of the components of this repository are generated through automatic processes. | 310 | Some of the components of this repository are generated through automatic processes. |
| 311 | `cargo xtask codegen` runs all generation tasks. | 311 | Generated code is updated automatically on `cargo test`. |
| 312 | Generated code is generally committed to the git repository. | 312 | Generated code is generally committed to the git repository. |
| 313 | There are tests to check that the generated code is fresh. | ||
| 314 | 313 | ||
| 315 | In particular, we generate: | 314 | In particular, we generate: |
| 316 | 315 | ||