openocd.texi is the authortative source of OpenOCD documentation