/openocd/doc/manual/