document usertag setting on initial e-mail

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

diff --git a/html/Reporting.html.in b/html/Reporting.html.in
index 62dd09af4f2c03d4475ae1ffcf9720057ce509f2..1b42aaed9279b20b852d6509d377bc751a8e1f6f 100644 (file)
--- a/html/Reporting.html.in
+++ b/html/Reporting.html.in
@@ -217,6 +217,13 @@ as described in the
 <a href="Developer.html#tags">developers' documentation</a>.
 Separate multiple tags with commas, spaces, or both.
 
+<pre>
+Usertags: &lt;<var>usertags</var>&gt;
+</pre>
+
+<p>Replace &lt;<var>tags</var>&gt; with one or more usertags. Separate
+multiple tags with commas, spaces, or both.</p>
+
 
 <h2>Not forwarding to the mailing list - minor $gBug reports</h2>