Re: INSTALL file missing on github

[Tommy Murphy]

I presume that it should refer to the HACKING file and maybe the INSTALL file 
used to exist but was removed/renamed at some stage?

https://sourceforge.net/p/openocd/code/ci/master/tree/HACKING