diff options
Diffstat (limited to 'docs/manifest-format.md')
-rw-r--r-- | docs/manifest-format.md | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index edcb28cb..36dae6de 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
@@ -109,8 +109,9 @@ following DTD: | |||
109 | <!ATTLIST extend-project upstream CDATA #IMPLIED> | 109 | <!ATTLIST extend-project upstream CDATA #IMPLIED> |
110 | 110 | ||
111 | <!ELEMENT remove-project EMPTY> | 111 | <!ELEMENT remove-project EMPTY> |
112 | <!ATTLIST remove-project name CDATA #REQUIRED> | 112 | <!ATTLIST remove-project name CDATA #IMPLIED> |
113 | <!ATTLIST remove-project optional CDATA #IMPLIED> | 113 | <!ATTLIST remove-project path CDATA #IMPLIED> |
114 | <!ATTLIST remove-project optional CDATA #IMPLIED> | ||
114 | 115 | ||
115 | <!ELEMENT repo-hooks EMPTY> | 116 | <!ELEMENT repo-hooks EMPTY> |
116 | <!ATTLIST repo-hooks in-project CDATA #REQUIRED> | 117 | <!ATTLIST repo-hooks in-project CDATA #REQUIRED> |
@@ -473,7 +474,7 @@ of the repo client. | |||
473 | 474 | ||
474 | ### Element remove-project | 475 | ### Element remove-project |
475 | 476 | ||
476 | Deletes the named project from the internal manifest table, possibly | 477 | Deletes a project from the internal manifest table, possibly |
477 | allowing a subsequent project element in the same manifest file to | 478 | allowing a subsequent project element in the same manifest file to |
478 | replace the project with a different source. | 479 | replace the project with a different source. |
479 | 480 | ||
@@ -481,6 +482,17 @@ This element is mostly useful in a local manifest file, where | |||
481 | the user can remove a project, and possibly replace it with their | 482 | the user can remove a project, and possibly replace it with their |
482 | own definition. | 483 | own definition. |
483 | 484 | ||
485 | The project `name` or project `path` can be used to specify the remove target | ||
486 | meaning one of them is required. If only name is specified, all | ||
487 | projects with that name are removed. | ||
488 | |||
489 | If both name and path are specified, only projects with the same name and | ||
490 | path are removed, meaning projects with the same name but in other | ||
491 | locations are kept. | ||
492 | |||
493 | If only path is specified, a matching project is removed regardless of its | ||
494 | name. Logic otherwise behaves like both are specified. | ||
495 | |||
484 | Attribute `optional`: Set to true to ignore remove-project elements with no | 496 | Attribute `optional`: Set to true to ignore remove-project elements with no |
485 | matching `project` element. | 497 | matching `project` element. |
486 | 498 | ||