summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/manifest-format.txt7
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
185Attribute `groups`: List of groups to which this project belongs, 185Attribute `groups`: List of groups to which this project belongs,
186whitespace or comma separated. All projects belong to the group 186whitespace 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
188it's name:`name` and path:`path`. E.g. for 188its 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
190definition is implicitly in the following manifest groups: 190definition is implicitly in the following manifest groups:
191default, name:monkeys, and path:barrel-of. 191default, name:monkeys, and path:barrel-of. If you place a project in the
192group "notdefault", it will not be automatically downloaded by repo.
192 193
193Element annotation 194Element annotation
194------------------ 195------------------