On 16 March 2015 at 16:55, Jonathan Wakely <jwakely....@gmail.com> wrote: > On 16 March 2015 at 15:54, Jonathan Wakely wrote: >> "DejaGnu" is not meant to be a link, but the wiki automatically treats >> any MixedCase word as a link. > > I've fixed that now.
We can actually link to the DejaGNU page if someone is interested. But probably they only need to find it on their own GNU/Linux, so I mention that as well. Aditya, I hope it is clear now.