On Mon, Feb 10, 2014 at 05:09:10PM +0100, Ludovic Court??s wrote:
     John Darrington <john@darrington.wattle.id.au> skribis:
     
     > 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
     
     They do what?  Their recipes don???t fiddle with DESTDIR, do they?
     
No.  No package should ever change the value of DESTDIR.

They simply update the icon cache iff $DESTDIR = ""  

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.