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 | ||
