Re: [OpenOCD-devel] OpenOCD 0.9.0 is out

2015-05-19 Thread Liviu Ionescu
> On 19 May 2015, at 21:44, Andreas Färber wrote: > > ... > An alternative is passing MAKEINFO=true as configure argument. :) I'm not familiar with this option, but I would definitely not like the build to proceed without properly building the documentation, which I include in all my packages

Re: [OpenOCD-devel] OpenOCD 0.9.0 is out

2015-05-19 Thread Andreas Färber
Am 19.05.2015 um 20:42 schrieb Liviu Ionescu: > On 19 May 2015, at 21:36, Andreas Färber wrote: >> Am 19.05.2015 um 10:39 schrieb Liviu Ionescu: > >>> I don't know if the @raggedright command is so important to justify >>> breaking compatibility with Debian 7, which is not that old, and, I guess

Re: [OpenOCD-devel] OpenOCD 0.9.0 is out

2015-05-19 Thread Liviu Ionescu
> On 19 May 2015, at 21:36, Andreas Färber wrote: > > Am 19.05.2015 um 10:39 schrieb Liviu Ionescu: >> I don't know if the @raggedright command is so important to justify breaking >> compatibility with Debian 7, which is not that old, and, I guess, still in >> use. > > Same problem on openSU

Re: [OpenOCD-devel] OpenOCD 0.9.0 is out

2015-05-19 Thread Andreas Färber
Am 19.05.2015 um 10:39 schrieb Liviu Ionescu: > one small notice: 0.9.0 no longer builds the documentation on Debian 7: > > /root/Host/Work/openocd/gnuarmeclipse-openocd.git/doc/openocd.texi:8463: > Unknown command `raggedright'. > /root/Host/Work/openocd/gnuarmeclipse-openocd.git/doc/openocd.tex

Re: [OpenOCD-devel] OpenOCD 0.9.0 is out

2015-05-19 Thread Liviu Ionescu
> I'm happy to announce the release of OpenOCD version 0.9.0, finally! great! one small notice: 0.9.0 no longer builds the documentation on Debian 7: /root/Host/Work/openocd/gnuarmeclipse-openocd.git/doc/openocd.texi:8463: Unknown command `raggedright'. /root/Host/Work/openocd/gnuarmeclipse-ope

[OpenOCD-devel] OpenOCD 0.9.0 is out

2015-05-18 Thread Paul Fertser
Hello, I'm happy to announce the release of OpenOCD version 0.9.0, finally! It tooks us a bit more than a year but the list of changes isn't a small one either. With 439 commits from 94 contributors, it's an impressive example of how the community can drive the project forward. As an active OpenO