[project @ 2005-10-06 06:53:42 by ajt]

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

diff --git a/html/server-control.html.in b/html/server-control.html.in
index 2683d8a536133a28ab9657b44081f4a67cdac750..579cf8bcd3815d7cbad3272e8f126a3d292f4b74 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>
 
@@ -246,6 +256,22 @@ mailservers is available via the WWW, in
   <p>For <a href="Developer.html#tags">their meanings</a> please consult the
   general developers' documentation for the $gBug system.
 
+<dt><code>block</code>|<code>unblock</code> <var>bugnumber</var> <code>by</code>|<code>with</code> <var>bug</var> [ <var>bug</var> ... ]
+
+  <dd>Use to note that one bug blocks another bug from being fixed.
+  The first listed bug is the one being blocked, and it is followed
+  by the bug or bugs that are blocking it. Use <code>unblock</code>
+  to unblock a bug.
+
+  <p>Example usage:</p>
+
+  <pre>
+        # indicates that 7890 cannot be fixed until 123456 is fixed
+        block 7890 by 123456
+        # indicates that 7890 can be fixed before 123456 after all
+        unblock 7890 by 123456
+  </pre>
+
 <dt><code>close</code> <var>bugnumber</var> [ <var>fixed-version</var> ]
  (deprecated)