From 56b0eacf4052e7514965690e96ead29f30c8e21a Mon Sep 17 00:00:00 2001 From: Ulrich Müller Date: Thu, 8 Feb 2024 11:49:37 +0100 Subject: devbook.rnc: Update from devmanual MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Ulrich Müller --- devbook.rnc | 6 ++++-- devmanual | 2 +- 2 files changed, 5 insertions(+), 3 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 { diff --git a/devmanual b/devmanual index 4ad0fdf..bd47497 160000 --- a/devmanual +++ b/devmanual @@ -1 +1 @@ -Subproject commit 4ad0fdff94a8e51fa2be94eff28357d962c8063a +Subproject commit bd474970728035c6286f1071162efefd6f8d63e9 -- cgit v1.2.3-65-gdbad