diff options
Diffstat (limited to 'docs/manifest-format.md')
-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 |