Re: [Cocci] Documentation generation for the release 1.0.0-rc22

2014-09-30 Thread Wolfram Sang
I have searched a bit in a few archives. Really? This is what my search found in approx. 3 seconds (assuming SUSE): http://rpm.pbone.net/index.php3/stat/3/srodzaj/1/search/tex%28ptmr8t.tfm%29 signature.asc Description: Digital signature ___ Cocci

Re: [Cocci] Documentation generation for the release 1.0.0-rc22

2014-09-30 Thread SF Markus Elfring
http://rpm.pbone.net/index.php3/stat/3/srodzaj/1/search/tex%28ptmr8t.tfm%29 Thanks for your link. The tool RPM PBone Search was not on my radar screen for a while. Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr

Re: [Cocci] Documentation generation for the release 1.0.0-rc22

2014-09-30 Thread Wolfram Sang
The tool RPM PBone Search was not on my radar screen for a while. It was the first hit for me when it googled suse and the font name :) Anyway, glad it works now... signature.asc Description: Digital signature ___ Cocci mailing list