diff options
Diffstat (limited to 'docs/manifest-format.md')
-rw-r--r-- | docs/manifest-format.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index 7c0a7da9..6e671080 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
@@ -281,6 +281,9 @@ with the new settings needed. | |||
281 | If not supplied the remote and project for this manifest will be used: `remote` | 281 | If not supplied the remote and project for this manifest will be used: `remote` |
282 | cannot be supplied. | 282 | cannot be supplied. |
283 | 283 | ||
284 | Projects from a submanifest and its submanifests are added to the | ||
285 | submanifest::path:<path_prefix> group. | ||
286 | |||
284 | Attribute `manifest-name`: The manifest filename in the manifest project. If | 287 | Attribute `manifest-name`: The manifest filename in the manifest project. If |
285 | not supplied, `default.xml` is used. | 288 | not supplied, `default.xml` is used. |
286 | 289 | ||