diff options
author | 2020-01-22 20:54:29 +0100 | |
---|---|---|
committer | 2020-01-22 20:54:29 +0100 | |
commit | d7285c11f633a9a5356226ed523048e223384c9e (patch) | |
tree | 14f2c1d3b49978eb74f0d71db251c87e732bc0b3 | |
parent | Makefile: Output date in UTC time zone. (diff) | |
download | nxml-gentoo-schemas-d7285c11f633a9a5356226ed523048e223384c9e.tar.gz nxml-gentoo-schemas-d7285c11f633a9a5356226ed523048e223384c9e.tar.bz2 nxml-gentoo-schemas-d7285c11f633a9a5356226ed523048e223384c9e.zip |
devbook.rnc: Update from DTD.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r-- | devbook.rnc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/devbook.rnc b/devbook.rnc index 758d836..96edb20 100644 --- a/devbook.rnc +++ b/devbook.rnc @@ -1,4 +1,4 @@ -# Copyright 2019 Gentoo Authors +# Copyright 2019-2020 Gentoo Authors # Distributed under the terms of the MIT/X11 license @@ -85,10 +85,8 @@ figure.attlist &= attribute link { text }, attribute short { text }?, attribute caption { text }? -table = element table { table.attlist, tcolumn*, tr+ } +table = element table { table.attlist, tr+ } table.attlist &= empty -tcolumn = element tcolumn { tcolumn.attlist, empty } -tcolumn.attlist &= attribute width { text } tr = element tr { tr.attlist, (th | ti)+ } tr.attlist &= empty th = element th { th.attlist, (text | inline.class)* } |