diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/manifest-format.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index 2af34ac2..0201c88b 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
| @@ -111,6 +111,10 @@ A description of the elements and their attributes follows. | |||
| 111 | 111 | ||
| 112 | The root element of the file. | 112 | The root element of the file. |
| 113 | 113 | ||
| 114 | ### Element notice | ||
| 115 | |||
| 116 | Arbitrary text that is displayed to users whenever `repo sync` finishes. | ||
| 117 | The content is simply passed through as it exists in the manifest. | ||
| 114 | 118 | ||
| 115 | ### Element remote | 119 | ### Element remote |
| 116 | 120 | ||
| @@ -360,6 +364,19 @@ This element is mostly useful in a local manifest file, where | |||
| 360 | the user can remove a project, and possibly replace it with their | 364 | the user can remove a project, and possibly replace it with their |
| 361 | own definition. | 365 | own definition. |
| 362 | 366 | ||
| 367 | ### Element repo-hooks | ||
| 368 | |||
| 369 | NB: See the [practical documentation](./repo-hooks.md) for using repo hooks. | ||
| 370 | |||
| 371 | Only one repo-hooks element may be specified at a time. | ||
| 372 | Attempting to redefine it will fail to parse. | ||
| 373 | |||
| 374 | Attribute `in-project`: The project where the hooks are defined. The value | ||
| 375 | must match the `name` attribute (**not** the `path` attribute) of a previously | ||
| 376 | defined `project` element. | ||
| 377 | |||
| 378 | Attribute `enabled-list`: List of hooks to use, whitespace or comma separated. | ||
| 379 | |||
| 363 | ### Element include | 380 | ### Element include |
| 364 | 381 | ||
| 365 | This element provides the capability of including another manifest | 382 | This element provides the capability of including another manifest |
