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

["Ulrich Müller" <ulm@gentoo.org>]

commit:     cc63c4cc8533f92cdd6bf55ddb38f751777b0b2f
Author:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Sun Oct 22 21:02:03 2023 +0000
Commit:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Sun Oct 22 21:02:03 2023 +0000
URL:        https://gitweb.gentoo.org/proj/nxml-gentoo-schemas.git/commit/?id=cc63c4cc

devbook.rnc: Update from devmanual

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

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

diff --git a/devbook.rnc b/devbook.rnc
index 9fe44b8..158f372 100644
--- a/devbook.rnc
+++ b/devbook.rnc
@@ -1,4 +1,4 @@
-# Copyright 2022 Gentoo Authors
+# Copyright 2022-2023 Gentoo Authors
 # Distributed under the terms of the MIT license
 # or the CC-BY-SA-4.0 license (dual-licensed)
 
@@ -93,8 +93,16 @@ ti = element ti {
   all
 }
 
-ul = element ul { attribute class { "list-group" }?, li+ }
-ol = element ol { li+ }
+ul = element ul {
+  attribute class { "list-group" }?,
+  li+
+}
+
+ol = element ol {
+  attribute type { "1" | "A" | "a" | "I" | "i" }?,
+  li+
+}
+
 li = element li { all }
 
 dl = element dl { (dt | dd)+ }

diff --git a/devmanual b/devmanual
index f73fcfb..4ad0fdf 160000
--- a/devmanual
+++ b/devmanual
@@ -1 +1 @@
-Subproject commit f73fcfb9352f815d44a0198516ac759caa6e09ec
+Subproject commit 4ad0fdff94a8e51fa2be94eff28357d962c8063a