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