commit: 56b0eacf4052e7514965690e96ead29f30c8e21a
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 8 10:49:37 2024 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Thu Feb 8 10:49:37 2024 +0000
URL:
https://gitweb.gentoo.org/proj/nxml-gentoo-schemas.git/commit/?id=56b0eacf
devbook.rnc: Update from devmanual
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
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
