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 | ||