- revert texi changes from rev 1418 as it breaks build
[fw/openocd] / INSTALL
1 openocd.texi is the authoritative source of OpenOCD documentation