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 /general-concepts/copyright-policy/text.xml | |
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 'general-concepts/copyright-policy/text.xml')
0 files changed, 0 insertions, 0 deletions