aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2024-02-08 11:29:50 +0100
committerUlrich Müller <ulm@gentoo.org>2024-02-08 11:29:50 +0100
commitbd474970728035c6286f1071162efefd6f8d63e9 (patch)
treea85b29842a64f66a977cb014c95c76b41a2a6a5c /devbook.rng
parentMakefile: Drop obsolete test for xmllint --quiet (diff)
downloaddevmanual-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.rng14
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/>