[gentoo-commits] proj/nxml-gentoo-schemas:master commit in: /

[Ulrich Müller]

commit:     3d543ce1b29808478ad09cf70cac8a0b7f7a9f83
Author:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 31 19:10:36 2024 +0000
Commit:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Thu Oct 31 19:10:36 2024 +0000
URL:        
https://gitweb.gentoo.org/proj/nxml-gentoo-schemas.git/commit/?id=3d543ce1

devbook.rnc: Update from devmanual

Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>

 devbook.rnc | 12 ++++++++++--
 devmanual   |  2 +-
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/devbook.rnc b/devbook.rnc
index 22f7c09..06b5f5b 100644
--- a/devbook.rnc
+++ b/devbook.rnc
@@ -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 {

diff --git a/devmanual b/devmanual
index bd47497..a104fe1 160000
--- a/devmanual
+++ b/devmanual
@@ -1 +1 @@
-Subproject commit bd474970728035c6286f1071162efefd6f8d63e9
+Subproject commit a104fe1378cebfb50494565fb0d2cb589a682831