On Mon, Feb 10, 2014 at 01:56:49PM +0100, Ludovic Court??s wrote:
     
     We???re talking about GNOME makefiles only, I think.  The snippet below is
     clearly a hack IMO.

Two non-gnome packages which also do this include gnubik and pspp
     
J'

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.