diff options
author | Warren Turkal <wt@ooyala.com> | 2013-12-10 15:30:03 -0800 |
---|---|---|
committer | Warren Turkal <wt@ooyala.com> | 2013-12-10 15:30:03 -0800 |
commit | 53d6a7b8955e9377cc0a12206be357e7936621b1 (patch) | |
tree | 1a7728eff318e82dd3dd3f06c6d927712fc789e5 | |
parent | 61df418c599a0359b33b8a65a12660023fc37a2a (diff) | |
download | git-repo-53d6a7b8955e9377cc0a12206be357e7936621b1.tar.gz |
Fix error in xml manifest doc.
The docs on the annotations say that zero or more may exist as a child
of a project, so that means that a "*" instead of a "?" should be used.
Change-Id: Iff855d003dfb05cd980f285a237332914e1dad70
-rw-r--r-- | docs/manifest-format.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index f63c9d0e..e48b75fe 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
@@ -47,7 +47,7 @@ following DTD: | |||
47 | <!ELEMENT manifest-server (EMPTY)> | 47 | <!ELEMENT manifest-server (EMPTY)> |
48 | <!ATTLIST url CDATA #REQUIRED> | 48 | <!ATTLIST url CDATA #REQUIRED> |
49 | 49 | ||
50 | <!ELEMENT project (annotation?, | 50 | <!ELEMENT project (annotation*, |
51 | project*)> | 51 | project*)> |
52 | <!ATTLIST project name CDATA #REQUIRED> | 52 | <!ATTLIST project name CDATA #REQUIRED> |
53 | <!ATTLIST project path CDATA #IMPLIED> | 53 | <!ATTLIST project path CDATA #IMPLIED> |