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