GDB 5.1.0.1 is identical to GDB 5.1 except for a fixed copyright notice in
the gdb/doc directory.