diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2023-10-21 18:27:05 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2023-10-22 10:53:33 +0200 |
| commit | 5fb4841a76b2dcfc5ec0e464f6aec698eb21a5ac (patch) | |
| tree | 7045d8ad55297b629dcfcde62f8de117142cc62c /devbook.rng | |
| parent | devbook.xsl: Force end tag for empty li elements (diff) | |
| download | devmanual-5fb4841a76b2dcfc5ec0e464f6aec698eb21a5ac.tar.gz devmanual-5fb4841a76b2dcfc5ec0e464f6aec698eb21a5ac.tar.bz2 devmanual-5fb4841a76b2dcfc5ec0e464f6aec698eb21a5ac.zip | |
devbook.xsl: Support type and start attributes for ordered lists
Simply copy them to the HTML output.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'devbook.rng')
| -rw-r--r-- | devbook.rng | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/devbook.rng b/devbook.rng index cfca2b4..c3c616f 100644 --- a/devbook.rng +++ b/devbook.rng @@ -2,7 +2,7 @@ <!-- Auto-generated from devbook.rnc; do not edit! --> <grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"> <!-- - 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) --> @@ -326,6 +326,17 @@ </define> <define name="ol"> <element name="ol"> + <optional> + <attribute name="type"> + <choice> + <value>1</value> + <value>A</value> + <value>a</value> + <value>I</value> + <value>i</value> + </choice> + </attribute> + </optional> <oneOrMore> <ref name="li"/> </oneOrMore> |