[project @ 1999-12-01 18:04:00 by gecko]

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

diff --git a/html/Developer.html.in b/html/Developer.html.in
index d19d3b048d8a2a2acaddf372c837badebeb04409..bb3f184c2d628fa9f9c234c159272497a2ee241a 100644 (file)
--- a/html/Developer.html.in
+++ b/html/Developer.html.in
@@ -76,9 +76,9 @@ mailing list separately.
 
 The $gBug system records a severity level with each $gBug report.  This is
 set to <code>$gDefaultSeverity</code> by default, but can be overridden either by
-supplying a <code>Severity</code> line in the psuedo-header when the
+supplying a <code>Severity</code> line in the pseudo-header when the
 $gBug is submitted (see the
-<A href="Reporting.html#psuedoheader">instructions for reporting
+<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>.