diff options
Diffstat (limited to 'docs/manifest-format.md')
| -rw-r--r-- | docs/manifest-format.md | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index b35a065f..2af34ac2 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
| @@ -99,7 +99,8 @@ following DTD: | |||
| 99 | <!ATTLIST repo-hooks enabled-list CDATA #REQUIRED> | 99 | <!ATTLIST repo-hooks enabled-list CDATA #REQUIRED> |
| 100 | 100 | ||
| 101 | <!ELEMENT include EMPTY> | 101 | <!ELEMENT include EMPTY> |
| 102 | <!ATTLIST include name CDATA #REQUIRED> | 102 | <!ATTLIST include name CDATA #REQUIRED> |
| 103 | <!ATTLIST include groups CDATA #IMPLIED> | ||
| 103 | ]> | 104 | ]> |
| 104 | ``` | 105 | ``` |
| 105 | 106 | ||
| @@ -368,6 +369,10 @@ target manifest to include - it must be a usable manifest on its own. | |||
| 368 | Attribute `name`: the manifest to include, specified relative to | 369 | Attribute `name`: the manifest to include, specified relative to |
| 369 | the manifest repository's root. | 370 | the manifest repository's root. |
| 370 | 371 | ||
| 372 | Attribute `groups`: List of additional groups to which all projects | ||
| 373 | in the included manifest belong. This appends and recurses, meaning | ||
| 374 | all projects in sub-manifests carry all parent include groups. | ||
| 375 | Same syntax as the corresponding element of `project`. | ||
| 371 | 376 | ||
| 372 | ## Local Manifests | 377 | ## Local Manifests |
| 373 | 378 | ||
