diff options
| -rw-r--r-- | devbook.rnc | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/devbook.rnc b/devbook.rnc index 54659de..2d21a4a 100644 --- a/devbook.rnc +++ b/devbook.rnc @@ -1,6 +1,7 @@ -# Copyright 2019-2020 Gentoo Authors +# Copyright 2019-2021 Gentoo Authors # Distributed under the terms of the MIT/X11 license +# or the CC-BY-SA-4.0 license (dual-licensed) # Document Type Definition for the Gentoo Devmanual @@ -52,12 +53,16 @@ title.attlist &= empty body = element body { body.attlist, (authors | contentsTree | block.class)+ } body.attlist &= empty -authors = element authors { authors.attlist, author+ } +authors = element authors { authors.attlist, (author+ | authorlist+) } authors.attlist &= empty author = element author { author.attlist, (text | inline.class)* } author.attlist &= attribute name { text }, attribute email { text }? +authorlist = element authorlist { authorlist.attlist, empty } +authorlist.attlist &= + attribute title { text }, + attribute href { text } contentsTree = element contentsTree { contentsTree.attlist, empty } contentsTree.attlist &= attribute maxdepth { text }?, |