diff options
author | Ulrich Müller <ulm@gentoo.org> | 2024-02-08 11:29:50 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2024-02-08 11:29:50 +0100 |
commit | bd474970728035c6286f1071162efefd6f8d63e9 (patch) | |
tree | a85b29842a64f66a977cb014c95c76b41a2a6a5c /devbook.rng | |
parent | Makefile: Drop obsolete test for xmllint --quiet (diff) | |
download | devmanual-bd474970728035c6286f1071162efefd6f8d63e9.tar.gz devmanual-bd474970728035c6286f1071162efefd6f8d63e9.tar.bz2 devmanual-bd474970728035c6286f1071162efefd6f8d63e9.zip |
devbook.xsl: Add sub and sup elements
These were present in GuideXML:
https://gitweb.gentoo.org/proj/devmanual.git/tree/appendices/contributing/devbook-guide/text.xml?id=8be0d382fb82dc4cfe73b1b85bb7fc3c923a21c7#n397
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'devbook.rng')
-rw-r--r-- | devbook.rng | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/devbook.rng b/devbook.rng index c3c616f..3963ab1 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-2023 Gentoo Authors + Copyright 2022-2024 Gentoo Authors Distributed under the terms of the MIT license or the CC-BY-SA-4.0 license (dual-licensed) --> @@ -32,6 +32,8 @@ <ref name="b"/> <ref name="c"/> <ref name="e"/> + <ref name="sub"/> + <ref name="sup"/> </choice> </define> <define name="inline.class"> @@ -382,6 +384,16 @@ <ref name="inline"/> </element> </define> + <define name="sub"> + <element name="sub"> + <ref name="inline"/> + </element> + </define> + <define name="sup"> + <element name="sup"> + <ref name="inline"/> + </element> + </define> <define name="d"> <element name="d"> <empty/> |