diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2024-02-08 11:29:50 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2024-02-08 11:29:50 +0100 |
| commit | bd474970728035c6286f1071162efefd6f8d63e9 (patch) | |
| tree | a85b29842a64f66a977cb014c95c76b41a2a6a5c /devbook.rnc | |
| parent | Makefile: Drop obsolete test for xmllint --quiet (diff) | |
| download | devmanual-bd474970728035c6286f1071162efefd6f8d63e9.tar.gz devmanual-bd474970728035c6286f1071162efefd6f8d63e9.tar.bz2 devmanual-bd474970728035c6286f1071162efefd6f8d63e9.zip | |
devbook.xsl: Add sub and sup elements
These were present in GuideXML:
https://gitweb.gentoo.org/proj/devmanual.git/tree/appendices/contributing/devbook-guide/text.xml?id=8be0d382fb82dc4cfe73b1b85bb7fc3c923a21c7#n397
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'devbook.rnc')
| -rw-r--r-- | devbook.rnc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/devbook.rnc b/devbook.rnc index 158f372..22f7c09 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* @@ -112,6 +112,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 { |