From mboxrd@z Thu Jan  1 00:00:00 1970
From: wsa@the-dreams.de (Wolfram Sang)
Date: Tue, 30 Sep 2014 14:24:34 +0200
Subject: [Cocci] Documentation generation for the release "1.0.0-rc22"
In-Reply-To: <542A9E41.7070904@users.sourceforge.net>
References: <alpine.DEB.2.10.1409301011200.2442@hadrien>
 <542A95D4.9060709@users.sourceforge.net>
 <alpine.DEB.2.10.1409301356380.2442@hadrien>
 <542A9E41.7070904@users.sourceforge.net>
Message-ID: <20140930122434.GL1325@katana>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr


> 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20140930/af1f225d/attachment.asc>