Skip to content

Commit 6159501

Browse files
committed
deploy: 055173b
1 parent 98fd0fd commit 6159501

File tree

4 files changed

+12
-4
lines changed

4 files changed

+12
-4
lines changed

user/print.html

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6311,6 +6311,10 @@ <h2 id="options-89"><a class="header" href="#options-89">Options</a></h2>
63116311
<dd>
63126312
<p>write to shell COMMAND file name is $FILE (Currently not implemented for Windows)</p>
63136313
</dd>
6314+
<dt><code>--elide-empty-files</code>, <code>-e</code></dt>
6315+
<dd>
6316+
<p>do not generate empty output files with '-n'</p>
6317+
</dd>
63146318
<dt><code>--numeric-suffixes</code>, <code>-d</code></dt>
63156319
<dd>
63166320
<p>use numeric suffixes instead of alphabetic</p>
@@ -6321,7 +6325,7 @@ <h2 id="options-89"><a class="header" href="#options-89">Options</a></h2>
63216325
</dd>
63226326
<dt><code>--hex-suffixes</code>, <code>-x</code></dt>
63236327
<dd>
6324-
<p>use hex suffixes starting at 0, not alphabetic</p>
6328+
<p>use hex suffixes instead of alphabetic</p>
63256329
</dd>
63266330
<dt><code>--verbose</code></dt>
63276331
<dd>

user/searchindex.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

user/searchindex.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

user/utils/split.html

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -199,6 +199,10 @@ <h2 id="options"><a class="header" href="#options">Options</a></h2>
199199
<dd>
200200
<p>write to shell COMMAND file name is $FILE (Currently not implemented for Windows)</p>
201201
</dd>
202+
<dt><code>--elide-empty-files</code>, <code>-e</code></dt>
203+
<dd>
204+
<p>do not generate empty output files with '-n'</p>
205+
</dd>
202206
<dt><code>--numeric-suffixes</code>, <code>-d</code></dt>
203207
<dd>
204208
<p>use numeric suffixes instead of alphabetic</p>
@@ -209,7 +213,7 @@ <h2 id="options"><a class="header" href="#options">Options</a></h2>
209213
</dd>
210214
<dt><code>--hex-suffixes</code>, <code>-x</code></dt>
211215
<dd>
212-
<p>use hex suffixes starting at 0, not alphabetic</p>
216+
<p>use hex suffixes instead of alphabetic</p>
213217
</dd>
214218
<dt><code>--verbose</code></dt>
215219
<dd>

0 commit comments

Comments
 (0)