* gdb.texinfo (Separate Debug Files): Remove extra semicolon.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 6bf5b42..499da02 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,7 @@
+2003-06-09  Jim Blandy  <jimb@redhat.com>
+
+       * gdb.texinfo (Separate Debug Files): Remove extra semicolon.
+
 2003-06-08  Andrew Cagney  <cagney@redhat.com>
 
        * gdbint.texinfo (Target Architecture Definition): Delete

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 86d2d2e..95fd5a0 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -10127,7 +10127,7 @@ gnu_debuglink_crc32 (unsigned long crc,
   crc = ~crc & 0xffffffff;
   for (end = buf + len; buf < end; ++buf)
     crc = crc32_table[(crc ^ *buf) & 0xff] ^ (crc >> 8);
-  return ~crc & 0xffffffff;;
+  return ~crc & 0xffffffff;
 @}
 @end smallexample