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 0752a8cd..45fd615e 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
@@ -485,6 +485,9 @@ these extra projects. | |||
485 | Manifest files stored in `$TOP_DIR/.repo/local_manifests/*.xml` will | 485 | Manifest files stored in `$TOP_DIR/.repo/local_manifests/*.xml` will |
486 | be loaded in alphabetical order. | 486 | be loaded in alphabetical order. |
487 | 487 | ||
488 | Projects from local manifest files are added into | ||
489 | local::<local manifest filename> group. | ||
490 | |||
488 | The legacy `$TOP_DIR/.repo/local_manifest.xml` path is no longer supported. | 491 | The legacy `$TOP_DIR/.repo/local_manifest.xml` path is no longer supported. |
489 | 492 | ||
490 | 493 | ||