diff options
Diffstat (limited to 'docs/manifest-format.txt')
-rw-r--r-- | docs/manifest-format.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index 9589352e..20ab9eb0 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
@@ -249,7 +249,13 @@ Users may add projects to the local manifest(s) prior to a `repo sync` | |||
249 | invocation, instructing repo to automatically download and manage | 249 | invocation, instructing repo to automatically download and manage |
250 | these extra projects. | 250 | these extra projects. |
251 | 251 | ||
252 | Manifest files stored in `$TOP_DIR/.repo/local_manifests/*.xml` will | ||
253 | be loaded in alphabetical order. | ||
254 | |||
252 | Additional remotes and projects may also be added through a local | 255 | Additional remotes and projects may also be added through a local |
253 | manifest, stored in `$TOP_DIR/.repo/local_manifest.xml`. This method | 256 | manifest, stored in `$TOP_DIR/.repo/local_manifest.xml`. This method |
254 | is deprecated in favor of using multiple manifest files as mentioned | 257 | is deprecated in favor of using multiple manifest files as mentioned |
255 | above. | 258 | above. |
259 | |||
260 | If `$TOP_DIR/.repo/local_manifest.xml` exists, it will be loaded before | ||
261 | any manifest files stored in `$TOP_DIR/.repo/local_manifests/*.xml`. | ||