[project @ 2005-07-29 17:16:56 by cjwatson]

[debbugs.git] / html / server-control.html.in

diff --git a/html/server-control.html.in b/html/server-control.html.in
index 2683d8a536133a28ab9657b44081f4a67cdac750..d46c2670d0a530ad727a185acbcb9f4e923ace27 100644 (file)
--- a/html/server-control.html.in
+++ b/html/server-control.html.in
@@ -95,6 +95,16 @@ mailservers is available via the WWW, in
   because it was difficult to add a <var>version</var> to that command's
   syntax without suffering ambiguity.
 
+<dt><code>notfound</code> <var>bugnumber</var> <var>version</var>
+
+  <dd>Remove the record that #<var>bugnumber</var> was encountered in the
+  given <var>version</var> of the package to which it is assigned.
+
+  <p>This differs from closing the $gBug at that version in that the $gBug
+  is not listed as fixed in that version either; no information about that
+  version will be known. It is intended for fixing mistakes in the record of
+  when a $gBug was found.
+
 <dt><code>submitter</code> <var>bugnumber</var>
 <var>originator-address</var> | <code>!</code>