From cc63c4cc8533f92cdd6bf55ddb38f751777b0b2f Mon Sep 17 00:00:00 2001 From: Ulrich Müller Date: Sun, 22 Oct 2023 23:02:03 +0200 Subject: devbook.rnc: Update from devmanual MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Ulrich Müller --- 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 -- cgit v1.2.3-65-gdbad