diff options
author | Ulrich Müller <ulm@gentoo.org> | 2021-09-07 20:09:05 +0200 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2021-09-07 20:09:05 +0200 |
commit | f17c24093ad7b59d8abc21db51007a1a8e94e78c (patch) | |
tree | 42b85f684621c116aa70f070a465f722f0a41c12 | |
parent | userinfo.rnc: File restored (diff) | |
download | nxml-gentoo-schemas-20210907.tar.gz nxml-gentoo-schemas-20210907.tar.bz2 nxml-gentoo-schemas-20210907.zip |
devbook.rnc: Update from DTDnxml-gentoo-schemas-20210907
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-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 }?, |