diff options
author | Ulrich Müller <ulm@gentoo.org> | 2024-10-31 20:10:36 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2024-10-31 20:10:36 +0100 |
commit | 3d543ce1b29808478ad09cf70cac8a0b7f7a9f83 (patch) | |
tree | 44cd05596459f684a1e81763748b540f72f051da | |
parent | schemas.xml: Explicitly require an empty prefix (diff) | |
download | nxml-gentoo-schemas-3d543ce1b29808478ad09cf70cac8a0b7f7a9f83.tar.gz nxml-gentoo-schemas-3d543ce1b29808478ad09cf70cac8a0b7f7a9f83.tar.bz2 nxml-gentoo-schemas-3d543ce1b29808478ad09cf70cac8a0b7f7a9f83.zip |
devbook.rnc: Update from devmanual
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r-- | devbook.rnc | 12 | ||||
m--------- | devmanual | 0 |
2 files changed, 10 insertions, 2 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 -Subproject bd474970728035c6286f1071162efefd6f8d63e +Subproject a104fe1378cebfb50494565fb0d2cb589a68283 |