diff options
Diffstat (limited to 'devbook.rnc')
| -rw-r--r-- | devbook.rnc | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/devbook.rnc b/devbook.rnc index 158f372..06b5f5b 100644 --- a/devbook.rnc +++ b/devbook.rnc @@ -1,4 +1,4 @@ -# Copyright 2022-2023 Gentoo Authors +# Copyright 2022-2024 Gentoo Authors # Distributed under the terms of the MIT license # or the CC-BY-SA-4.0 license (dual-licensed) @@ -7,7 +7,7 @@ block.class = p | pre | codesample | note | important | warning | todo | figure | table | ul | ol | dl -attrib.class = text | b | c | e +attrib.class = text | b | c | e | sub | sup inline.class = attrib.class | d | uri attrib = attrib.class* @@ -56,11 +56,15 @@ contentsTree = element contentsTree { p = element p { inline } -pre = element pre { text } +pre = element pre { + attribute caption { text }?, + text +} codesample = element codesample { attribute lang { "c" | "ebuild" | "make" | "m4" | "sgml" }, attribute numbering { "lines" }?, + attribute caption { text }?, text } @@ -75,7 +79,11 @@ figure = element figure { attribute caption { text }? } -table = element table { tr+ } +table = element table { + attribute caption { text }?, + tr+ +} + tr = element tr { (th | ti)+ } th = element th { @@ -112,6 +120,8 @@ dd = element dd { all } b = element b { inline } c = element c { inline } e = element e { inline } +sub = element sub { inline } +sup = element sup { inline } d = element d { empty } uri = element uri { |