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 mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/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
https://systeme.lip6.fr/mailman/listinfo/cocci

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
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci