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