[project @ 2003-03-05 14:15:57 by cjwatson]

Document the Tags: header in Reporting.

diff --git a/html/Reporting.html.in b/html/Reporting.html.in
index 7c8611153d4bdbfc9ce8a8a7ec3b8927c2f1998b..733fd251b449e1195979e548517f7681d690c393 100644 (file)
--- a/html/Reporting.html.in
+++ b/html/Reporting.html.in
@@ -130,6 +130,20 @@ severity levels available are described in the
 <a href="Developer.html#severities">developers' documentation</a>.
 
 
+<h2><a name="tags">Assigning tags</a></h2>
+
+<p>You can set tags on a $gBug as you are reporting it. For example, if
+you are including a patch with your $gBug report, you may wish to set
+the <code>patch</code> tag.  This is not required, and the developers
+will set tags on your report as and when it is appropriate.
+
+<p>To set tags, put a <code>Tags: <var>tags</var></code> line in the
+<a name="#pseudoheader">pseudo-header</a> together with the usual
+<code>Package</code> and <code>Version</code>.  The tags available are
+described in the
+<a href="Developer.html#tags">developers' documentation</a>.
+
+
 <h2>Not forwarding to the mailing list - minor $gBug reports</h2>
 
 <p>If a $gBug report is minor (for example, a documentation typo or other