diff options
author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-07-25 15:24:35 +0000 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-07-25 15:24:35 +0000 |
commit | 96d98d39e4d743caee7d35331fab3d0772d808c9 (patch) | |
tree | 7fa8e99b30e22050654eb38127211d64acad63e6 | |
parent | 245382532d1e0500db388bb9a51b6dda1f57b338 (diff) |
Update website
-rw-r--r-- | manual/index.html | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/manual/index.html b/manual/index.html index 7c8dd6ce..ba1f9b22 100644 --- a/manual/index.html +++ b/manual/index.html @@ -328,13 +328,6 @@ using some command-line options:</p> available in the program and has a string whose contents are to the texts in the file named <code>bar</code>.</p> <ul> -<li><code>--argfile variable-name filename</code>:</li> -</ul> -<p>Do not use. Use <code>--slurpfile</code> instead.</p> -<p>(This option is like <code>--slurpfile</code>, but when the file has just - one text, then that is used, else an array of texts is used as - in <code>--slurpfile</code>.)</p> -<ul> <li><code>--args</code>:</li> </ul> <p>Remaining arguments are positional string arguments. These are |