PATCH for Re: http://gcc.gnu.org/gcc-3.1/changes.html - linux/x86 debug formats?

[Gerald Pfeifer]

On Thu, 25 Apr 2002, Richard Henderson wrote:
>> Did the default debug format change to dwarf2 from stabs on linux/x86 for
>> the 3.1 branch?
> Yes.
>> If so the change would be of interest  to users such as
>> myself - as would which version(s) of gdb to use with it.
> 5.1.1.

Is the following patch okay then? (If not, what should I change?)

Gerald

Index: changes.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-3.1/changes.html,v
retrieving revision 1.20
diff -u -3 -p -r1.20 changes.html
--- changes.html	26 Apr 2002 13:12:28 -0000	1.20
+++ changes.html	26 Apr 2002 15:45:01 -0000
@@ -17,6 +17,9 @@
   <li>The <code>-traditional</code> C compiler option has been
   deprecated and will be removed in GCC 3.2.  (It remains possible to
   preprocess non-C code with the traditional preprocessor.)</li>
+
+  <li>The default debugging format for GNU/Linux platforms has changed
+  from stabs to DWARF2.  This requires GDB 5.1.1 or later.</li>
 </ul>