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 | ||
