diff options
-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)* } |