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