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

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 6bf5b42c32686bcc316c5c1354e550cad54e8167..499da02c298b0fe3dea1102e72fc1c8b88a0c06d 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 86d2d2ee1b0aa99fcfab82df8aa1a6ca0e95a215..95fd5a0ac9b982e5fdd1ad01e32fbbce58576bb4 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