diff options
Diffstat (limited to 'project.rnc')
-rw-r--r-- | project.rnc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/project.rnc b/project.rnc index 65c3ce7..6984fa9 100644 --- a/project.rnc +++ b/project.rnc @@ -24,7 +24,9 @@ project = | task | author)* } -project.attlist &= empty +project.attlist &= + attribute disclaimer { "draft" | "obsolete" }?, + attribute redirect { text }? name = element name { name.attlist, text } name.attlist &= empty longname = element longname { longname.attlist, text } |