Don't make the logo; it's checked into git and isn't necessary

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

index 62dd09af4f2c03d4475ae1ffcf9720057ce509f2..cdc2a7f9454758ee2babf8ec2496d5f3702378a8 100644 (file)
--- a/html/Reporting.html.in
+++ b/html/Reporting.html.in
@@ -3,7 +3,9 @@ $gReportingHtml = <<HTML_END
  <html>
  <head>
    <title>$gProject $gBugs - how to report a $gBug</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>
  
@@ -217,6 +219,16 @@ as described in the
  <a href="Developer.html#tags">developers' documentation</a>.
  Separate multiple tags with commas, spaces, or both.
  
+<pre>
+User: &lt;<var>username</var>&gt;
+Usertags: &lt;<var>usertags</var>&gt;
+</pre>
+
+<p>Replace &lt;<var>usertags</var>&gt; with one or more usertags.
+Separate multiple tags with commas, spaces, or both. If you specify a
+username, that users tags will be set. Otherwise, the email address of
+the sender will be used as the username</p>
+
  
  <h2>Not forwarding to the mailing list - minor $gBug reports</h2>