diff options
| author | Jiri tyr <jiri.tyr@gmail.com> | 2017-01-09 23:47:52 +0000 |
|---|---|---|
| committer | David Pursehouse <dpursehouse@collab.net> | 2017-05-27 04:26:15 +0000 |
| commit | fddfa6fbac4fcabe712961fa45da8f440ee9426a (patch) | |
| tree | 0a51ec99f4b14db441f3a2164bf26b9508040d17 | |
| parent | 997a92bd583c4abe312dea91b68c717103b082cd (diff) | |
| download | git-repo-fddfa6fbac4fcabe712961fa45da8f440ee9426a.tar.gz | |
Adding include element into the top-level element
The documentation of the XML file format contains DTD which contains
definition of all allowed elements and attributes. The "include" element
is defined but it's not referenced from the top-level "manifest"
element.
This patch is adding the "include" element into the list of elements of
the top-level "manifest" element.
Change-Id: I33beb8ef2846bbf42ffd42e6ae6888828566d604
| -rw-r--r-- | docs/manifest-format.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index 4484d803..77784099 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
| @@ -27,7 +27,8 @@ following DTD: | |||
| 27 | remove-project*, | 27 | remove-project*, |
| 28 | project*, | 28 | project*, |
| 29 | extend-project*, | 29 | extend-project*, |
| 30 | repo-hooks?)> | 30 | repo-hooks?, |
| 31 | include*)> | ||
| 31 | 32 | ||
| 32 | <!ELEMENT notice (#PCDATA)> | 33 | <!ELEMENT notice (#PCDATA)> |
| 33 | 34 | ||