diff options
-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 |