diff options
Diffstat (limited to 'docs')
| -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 | ------------------ |
