diff options
Diffstat (limited to 'docs/manifest-format.txt')
-rw-r--r-- | docs/manifest-format.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index 9f4585b8..a827f556 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
@@ -171,7 +171,11 @@ the default element is used. | |||
171 | 171 | ||
172 | Attribute `groups`: List of groups to which this project belongs, | 172 | Attribute `groups`: List of groups to which this project belongs, |
173 | whitespace or comma separated. All projects belong to the group | 173 | whitespace or comma separated. All projects belong to the group |
174 | "default". | 174 | "default", and each project automatically belongs to a group of |
175 | it's name:`name` and path:`path`. E.g. for | ||
176 | <project name="monkeys" path="barrel-of"/>, that project | ||
177 | definition is implicitly in the following manifest groups: | ||
178 | default, name:monkeys, and path:barrel-of. | ||
175 | 179 | ||
176 | Element annotation | 180 | Element annotation |
177 | ------------------ | 181 | ------------------ |