Add viewport in HTML

[debbugs.git] / html / server-control.html.in
diff --git a/html/server-control.html.in b/html/server-control.html.in

index 8120307f8df4747e70bbd3f3bab401c07b73881f..95649cc54d886a20cc9325494d436943f1251f19 100644 (file)
--- a/html/server-control.html.in
+++ b/html/server-control.html.in
@@ -3,7 +3,9 @@ $gControlHtml = <<HTML_END
  <html>
  <head>
    <title>$gProject $gBug system - control mail server commands</title>
+  <meta name="viewport" content="width=device-width, initial-scale=1">
    <link rev="made" href="mailto:$gMaintainerEmail">
+  <link rel="stylesheet" href="$gWebHostBugDir/css/bugs.css" type="text/css">
  </head>
  <body>
  
@@ -91,6 +93,12 @@ mailservers is available via the WWW, in
    the $gBug is cleared. This is identical to the behaviour of
    <code>reopen</code>.
  
+  <p>This command will only cause a bug to be marked as not done if no
+    version is specified, or if the <var>version</var> being marked found
+    is equal to the <var>version</var> which was last marked fixed. (If
+    you are certain that you want the bug marked as not done,
+    use <code>reopen</code> in conjunction with <code>found</code>.</p>
+
    <p>This command was introduced in preference to <code>reopen</code>
    because it was difficult to add a <var>version</var> to that command's
    syntax without suffering ambiguity.
@@ -319,8 +327,8 @@ mailservers is available via the WWW, in
  <dt><code>owner</code> <var>bugnumber</var> <var>address</var> | <code>!</code>
  
    <dd>Sets <var>address</var> to be the "owner" of #<var>bugnumber</var>.
-  The owner of a $gBug claims responsibility for fixing it and will receive
-  all mail regarding it.  This is useful to share out work in cases where a
+  The owner of a $gBug claims responsibility for fixing it.
+  This is useful to share out work in cases where a
    package has a team of maintainers.
  
    <p>If you wish to become the owner of the $gBug yourself, you can use the
@@ -331,6 +339,18 @@ mailservers is available via the WWW, in
    <dd>Forgets any idea that the $gBug has an owner other than the usual
    maintainer.  If the $gBug had no owner recorded then this will do nothing.
  
+<dt><code>archive</code> <var>bugnumber</var>
+
+  <dd>Archives a $gBug that was previously archived if the $gBug
+  fulfills the requirements for archival, ignoring time.
+
+<dt><code>unarchive</code> <var>bugnumber</var>
+
+  <dd>Unarchives a $gBug that was previously archived. Unarchival
+  should generally be coupled with reopen and found/fixed as
+  approprite. Bugs that have been unarchived can be archived using
+  archive assuming the non-time based archival requirements are met.
+
  <dt><code>#</code>...
  
    <dd>One-line comment. The <code>#</code> must be at the start of the line.