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