From 96d98d39e4d743caee7d35331fab3d0772d808c9 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Tue, 25 Jul 2023 15:24:35 +0000
Subject: [PATCH] Update website

---
 manual/index.html | 7 -------
 1 file changed, 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