Skip to content

Commit cfc44d4

Browse files
sylvestresylvestre
committed
deploy: 055173b 
1 parent c076b17 commit cfc44d4

File tree

5 files changed

+14
-2
lines changed

5 files changed

+14
-2
lines changed

‎user/print.html

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2759,6 +2759,9 @@ <h2 id="options-34"><a class="header" href="#options-34">Options</a></h2>
27592759
<dd>
27602760
<p>always print headers giving file names</p>
27612761
</dd>
2762+
<dt><code>--presume-input-pipe</code></dt>
2763+
<dd>
2764+
</dd>
27622765
<dt><code>--zero-terminated</code>, <code>-z</code></dt>
27632766
<dd>
27642767
<p>line delimiter is NUL, not newline</p>
@@ -6790,6 +6793,9 @@ <h2 id="options-95"><a class="header" href="#options-95">Options</a></h2>
67906793
<dd>
67916794
<p>Line delimiter is NUL, not newline</p>
67926795
</dd>
6796+
<dt><code>--presume-input-pipe</code></dt>
6797+
<dd>
6798+
</dd>
67936799
<dt></dt>
67946800
<dd>
67956801
</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/head.html

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -194,6 +194,9 @@ <h2 id="options"><a class="header" href="#options">Options</a></h2>
194194
<dd>
195195
<p>always print headers giving file names</p>
196196
</dd>
197+
<dt><code>--presume-input-pipe</code></dt>
198+
<dd>
199+
</dd>
197200
<dt><code>--zero-terminated</code>, <code>-z</code></dt>
198201
<dd>
199202
<p>line delimiter is NUL, not newline</p>

‎user/utils/tail.html

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -210,6 +210,9 @@ <h2 id="options"><a class="header" href="#options">Options</a></h2>
210210
<dd>
211211
<p>Line delimiter is NUL, not newline</p>
212212
</dd>
213+
<dt><code>--presume-input-pipe</code></dt>
214+
<dd>
215+
</dd>
213216
<dt></dt>
214217
<dd>
215218
</dd>

0 commit comments

Comments
 (0)