summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2023-10-22 23:02:03 +0200
committerUlrich Müller <ulm@gentoo.org>2023-10-22 23:02:03 +0200
commitcc63c4cc8533f92cdd6bf55ddb38f751777b0b2f (patch)
tree60afb5c1df5cb877a74ab0a452a391550a22eaa4
parentLICENCE: Add a copyright notice (diff)
downloadnxml-gentoo-schemas-cc63c4cc8533f92cdd6bf55ddb38f751777b0b2f.tar.gz
nxml-gentoo-schemas-cc63c4cc8533f92cdd6bf55ddb38f751777b0b2f.tar.bz2
nxml-gentoo-schemas-cc63c4cc8533f92cdd6bf55ddb38f751777b0b2f.zip
devbook.rnc: Update from devmanualnxml-gentoo-schemas-20231022
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r--devbook.rnc14
m---------devmanual0
2 files changed, 11 insertions, 3 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
-Subproject f73fcfb9352f815d44a0198516ac759caa6e09e
+Subproject 4ad0fdff94a8e51fa2be94eff28357d962c8063