diff options
author | 2023-10-22 23:02:03 +0200 | |
---|---|---|
committer | 2023-10-22 23:02:03 +0200 | |
commit | cc63c4cc8533f92cdd6bf55ddb38f751777b0b2f (patch) | |
tree | 60afb5c1df5cb877a74ab0a452a391550a22eaa4 /devbook.rnc | |
parent | LICENCE: Add a copyright notice (diff) | |
download | nxml-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>
Diffstat (limited to 'devbook.rnc')
-rw-r--r-- | devbook.rnc | 14 |
1 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)+ } |