read report from the spool directory even if we're not in it

[debbugs.git] / html / Reporting.html.in

diff --git a/html/Reporting.html.in b/html/Reporting.html.in
index 62dd09af4f2c03d4475ae1ffcf9720057ce509f2..29fa156e5ce7c1fdbd89d2e8a4ef70354e07931c 100644 (file)
--- a/html/Reporting.html.in
+++ b/html/Reporting.html.in
@@ -217,6 +217,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>