[project @ 2003-05-16 07:36:04 by cjwatson]

Add note on supplying multiple tags.

diff --git a/html/Developer.html.in b/html/Developer.html.in
index c512a7f9d0b1d04ce0ee359bde472eb9e0794abe..5dad8b9d7a7eceb2f589a2ec8ec81d29270c9058 100644 (file)
--- a/html/Developer.html.in
+++ b/html/Developer.html.in
@@ -84,6 +84,7 @@ the $gBug is submitted (see the
 <a href="Reporting.html#pseudoheader">instructions for reporting $gBugs</a>),
 or by using the <code>severity</code> command with the
 <a href="#requestserv">control request server</a>.
+Separate multiple tags with commas, spaces, or both.
 
 <p>The severity levels are:
 

diff --git a/html/Reporting.html.in b/html/Reporting.html.in
index dff091e81123f670d389e93c90f6cc5135b18639..30ced9575fdfc3c9320b346810caea8202394a6d 100644 (file)
--- a/html/Reporting.html.in
+++ b/html/Reporting.html.in
@@ -205,6 +205,7 @@ Tags: &lt;<var>tags</var>&gt;
 <p>Replace &lt;<var>tags</var>&gt; with one or more of the available tags,
 as described in the
 <a href="Developer.html#tags">developers' documentation</a>.
+Separate multiple tags with commas, spaces, or both.
 
 
 <h2>Not forwarding to the mailing list - minor $gBug reports</h2>