diff options
Diffstat (limited to 'docs/manifest-format.txt')
-rw-r--r-- | docs/manifest-format.txt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index 338e0219..f499868c 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
@@ -184,11 +184,12 @@ the default element is used. | |||
184 | 184 | ||
185 | Attribute `groups`: List of groups to which this project belongs, | 185 | Attribute `groups`: List of groups to which this project belongs, |
186 | whitespace or comma separated. All projects belong to the group | 186 | whitespace or comma separated. All projects belong to the group |
187 | "default", and each project automatically belongs to a group of | 187 | "all", and each project automatically belongs to a group of |
188 | it's name:`name` and path:`path`. E.g. for | 188 | its name:`name` and path:`path`. E.g. for |
189 | <project name="monkeys" path="barrel-of"/>, that project | 189 | <project name="monkeys" path="barrel-of"/>, that project |
190 | definition is implicitly in the following manifest groups: | 190 | definition is implicitly in the following manifest groups: |
191 | default, name:monkeys, and path:barrel-of. | 191 | default, name:monkeys, and path:barrel-of. If you place a project in the |
192 | group "notdefault", it will not be automatically downloaded by repo. | ||
192 | 193 | ||
193 | Element annotation | 194 | Element annotation |
194 | ------------------ | 195 | ------------------ |