diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/manifest-format.txt | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index f499868c..c51b84be 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
@@ -224,15 +224,19 @@ Attribute `name`; the manifest to include, specified relative to | |||
224 | the manifest repositories root. | 224 | the manifest repositories root. |
225 | 225 | ||
226 | 226 | ||
227 | Local Manifest | 227 | Local Manifests |
228 | ============== | 228 | =============== |
229 | 229 | ||
230 | Additional remotes and projects may be added through a local | 230 | Additional remotes and projects may be added through local manifest |
231 | manifest, stored in `$TOP_DIR/.repo/local_manifest.xml`. | 231 | files stored in `$TOP_DIR/.repo/local_manifests/*.xml`. |
232 | 232 | ||
233 | For example: | 233 | For example: |
234 | 234 | ||
235 | $ cat .repo/local_manifest.xml | 235 | $ ls .repo/local_manifests |
236 | local_manifest.xml | ||
237 | another_local_manifest.xml | ||
238 | |||
239 | $ cat .repo/local_manifests/local_manifest.xml | ||
236 | <?xml version="1.0" encoding="UTF-8"?> | 240 | <?xml version="1.0" encoding="UTF-8"?> |
237 | <manifest> | 241 | <manifest> |
238 | <project path="manifest" | 242 | <project path="manifest" |
@@ -241,6 +245,9 @@ For example: | |||
241 | name="platform/manifest" /> | 245 | name="platform/manifest" /> |
242 | </manifest> | 246 | </manifest> |
243 | 247 | ||
244 | Users may add projects to the local manifest prior to a `repo sync` | 248 | Users may add projects to the local manifest(s) prior to a `repo sync` |
245 | invocation, instructing repo to automatically download and manage | 249 | invocation, instructing repo to automatically download and manage |
246 | these extra projects. | 250 | these extra projects. |
251 | |||
252 | Additional remotes and projects may also be added through a local | ||
253 | manifest, stored in `$TOP_DIR/.repo/local_manifest.xml`. | ||