OSDN Git Service

* doc/xml/manual/debug.xml: Use GDB instead of gdb.