Skip to content

Commit 956153b

Browse files
author
dscho
committed
Update manual pages (manually forced rebuild)
Updated via the `update-git-version-and-manual-pages.yml` GitHub workflow.
1 parent 0e71ec2 commit 956153b

File tree

2,827 files changed

+114031
-100723
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

2,827 files changed

+114031
-100723
lines changed

‎external/docs/asciidoc/920b5ced17ed1785b0d9cbbbeaef37892123ed35‎

Lines changed: 1833 additions & 0 deletions
Large diffs are not rendered by default.

‎external/docs/asciidoc/ad6473da9b8ce95b4679919af5b5534d7657be78‎

Lines changed: 7184 additions & 0 deletions
Large diffs are not rendered by default.

‎external/docs/asciidoc/b53378a2602d3638332dc19d2e3ad3b651cb5f7c‎

Lines changed: 7195 additions & 0 deletions
Large diffs are not rendered by default.

‎external/docs/content/docs/CodingGuidelines.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1189,7 +1189,7 @@
11891189
in the abstract. E.g.</p>
11901190
<div class="dlist">
11911191
<dl>
1192-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
1192+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines---short"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
11931193
<dd>
11941194
<p>Emit output in the short-format.</p>
11951195
<div class="literalblock">
@@ -1198,19 +1198,19 @@
11981198
</div>
11991199
</div>
12001200
</dd>
1201-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
1201+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
12021202
<dd>
12031203
<p>Use this to emit output in the short-format.</p>
12041204
</dd>
1205-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
1205+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
12061206
<dd>
12071207
<p>You can use this to get output in the short-format.</p>
12081208
</dd>
1209-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
1209+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
12101210
<dd>
12111211
<p>A user who prefers shorter output could&#8230;&#8203;.</p>
12121212
</dd>
1213-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
1213+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
12141214
<dd>
12151215
<p>Should a person and/or program want shorter output, he
12161216
she/they/it can&#8230;&#8203;</p>

‎external/docs/content/docs/CodingGuidelines/2.45.0.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1010,7 +1010,7 @@
10101010
in the abstract. E.g.</p>
10111011
<div class="dlist">
10121012
<dl>
1013-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
1013+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines---short"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
10141014
<dd>
10151015
<p>Emit output in the short-format.</p>
10161016
<div class="literalblock">
@@ -1019,19 +1019,19 @@
10191019
</div>
10201020
</div>
10211021
</dd>
1022-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
1022+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
10231023
<dd>
10241024
<p>Use this to emit output in the short-format.</p>
10251025
</dd>
1026-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
1026+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
10271027
<dd>
10281028
<p>You can use this to get output in the short-format.</p>
10291029
</dd>
1030-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
1030+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
10311031
<dd>
10321032
<p>A user who prefers shorter output could&#8230;&#8203;.</p>
10331033
</dd>
1034-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
1034+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
10351035
<dd>
10361036
<p>Should a person and/or program want shorter output, he
10371037
she/they/it can&#8230;&#8203;</p>

‎external/docs/content/docs/CodingGuidelines/2.46.1.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1062,7 +1062,7 @@
10621062
in the abstract. E.g.</p>
10631063
<div class="dlist">
10641064
<dl>
1065-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
1065+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines---short"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
10661066
<dd>
10671067
<p>Emit output in the short-format.</p>
10681068
<div class="literalblock">
@@ -1071,19 +1071,19 @@
10711071
</div>
10721072
</div>
10731073
</dd>
1074-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
1074+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
10751075
<dd>
10761076
<p>Use this to emit output in the short-format.</p>
10771077
</dd>
1078-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
1078+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
10791079
<dd>
10801080
<p>You can use this to get output in the short-format.</p>
10811081
</dd>
1082-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
1082+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
10831083
<dd>
10841084
<p>A user who prefers shorter output could&#8230;&#8203;.</p>
10851085
</dd>
1086-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
1086+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
10871087
<dd>
10881088
<p>Should a person and/or program want shorter output, he
10891089
she/they/it can&#8230;&#8203;</p>

‎external/docs/content/docs/CodingGuidelines/2.47.0.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1148,7 +1148,7 @@
11481148
in the abstract. E.g.</p>
11491149
<div class="dlist">
11501150
<dl>
1151-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
1151+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines---short"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
11521152
<dd>
11531153
<p>Emit output in the short-format.</p>
11541154
<div class="literalblock">
@@ -1157,19 +1157,19 @@
11571157
</div>
11581158
</div>
11591159
</dd>
1160-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
1160+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
11611161
<dd>
11621162
<p>Use this to emit output in the short-format.</p>
11631163
</dd>
1164-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
1164+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
11651165
<dd>
11661166
<p>You can use this to get output in the short-format.</p>
11671167
</dd>
1168-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
1168+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
11691169
<dd>
11701170
<p>A user who prefers shorter output could&#8230;&#8203;.</p>
11711171
</dd>
1172-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
1172+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
11731173
<dd>
11741174
<p>Should a person and/or program want shorter output, he
11751175
she/they/it can&#8230;&#8203;</p>

‎external/docs/content/docs/CodingGuidelines/2.48.0.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1189,7 +1189,7 @@
11891189
in the abstract. E.g.</p>
11901190
<div class="dlist">
11911191
<dl>
1192-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
1192+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines---short"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
11931193
<dd>
11941194
<p>Emit output in the short-format.</p>
11951195
<div class="literalblock">
@@ -1198,19 +1198,19 @@
11981198
</div>
11991199
</div>
12001200
</dd>
1201-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
1201+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
12021202
<dd>
12031203
<p>Use this to emit output in the short-format.</p>
12041204
</dd>
1205-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
1205+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
12061206
<dd>
12071207
<p>You can use this to get output in the short-format.</p>
12081208
</dd>
1209-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
1209+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
12101210
<dd>
12111211
<p>A user who prefers shorter output could&#8230;&#8203;.</p>
12121212
</dd>
1213-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
1213+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
12141214
<dd>
12151215
<p>Should a person and/or program want shorter output, he
12161216
she/they/it can&#8230;&#8203;</p>

‎external/docs/content/docs/CodingGuidelines/2.49.0.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1188,7 +1188,7 @@
11881188
in the abstract. E.g.</p>
11891189
<div class="dlist">
11901190
<dl>
1191-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
1191+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode"> <a class="anchor" href="#Documentation/CodingGuidelines---short"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode"></a><code>--short</code> </dt>
11921192
<dd>
11931193
<p>Emit output in the short-format.</p>
11941194
<div class="literalblock">
@@ -1197,19 +1197,19 @@
11971197
</div>
11981198
</div>
11991199
</dd>
1200-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
1200+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1"></a><code>--short</code> </dt>
12011201
<dd>
12021202
<p>Use this to emit output in the short-format.</p>
12031203
</dd>
1204-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
1204+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1"></a><code>--short</code> </dt>
12051205
<dd>
12061206
<p>You can use this to get output in the short-format.</p>
12071207
</dd>
1208-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
1208+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1"></a><code>--short</code> </dt>
12091209
<dd>
12101210
<p>A user who prefers shorter output could&#8230;&#8203;.</p>
12111211
</dd>
1212-
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
1212+
<dt class="hdlist1" id="Documentation/CodingGuidelines-code--shortcode-1-1-1-1"> <a class="anchor" href="#Documentation/CodingGuidelines---short-1-1-1-1"></a> <a class="anchor" href="#Documentation/CodingGuidelines-code--shortcode-1-1-1-1"></a><code>--short</code> </dt>
12131213
<dd>
12141214
<p>Should a person and/or program want shorter output, he
12151215
she/they/it can&#8230;&#8203;</p>

‎external/docs/content/docs/ReviewingGuidelines.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -210,7 +210,7 @@ <h2 id="_terminology"><a class="anchor" href="#_terminology"></a>Terminology</h2
210210
related to code organization &amp; style, or musings about topics related to
211211
the patch in question, but beyond its scope.</p>
212212
</dd>
213-
<dt class="hdlist1" id="Documentation/ReviewingGuidelines.txt-sltbeforegtltaftergt"> <a class="anchor" href="#Documentation/ReviewingGuidelines.txt-sltbeforegtltaftergt"></a>s/&lt;before&gt;/&lt;after&gt;/ </dt>
213+
<dt class="hdlist1" id="Documentation/ReviewingGuidelines.txt-sltbeforegtltaftergt"> <a class="anchor" href="#Documentation/ReviewingGuidelines.txt-sbeforeafter"></a> <a class="anchor" href="#Documentation/ReviewingGuidelines.txt-sltbeforegtltaftergt"></a>s/&lt;before&gt;/&lt;after&gt;/ </dt>
214214
<dd>
215215
<p>Shorthand for "you wrote &lt;before&gt;, but I think you meant &lt;after&gt;," usually
216216
for misspellings or other typographical errors. The syntax is a reference

0 commit comments

Comments
 (0)