Subject: Re: DESTDIR vs. beforeinstall - Battle of the Titans
To: Chris G Demetriou <Chris_G_Demetriou@ux2.sp.cs.cmu.edu>
From: matthew green <mrg@eterna.com.au>
List: current-users
Date: 05/24/1996 09:12:53 
   header installs are done this way (i.e. cmp then install if different)
   for all 'generated' headers (at least, that i'm aware of).

ah..

see, i told you i might not know what i'm talking about.  i didn't
realise they were generated ...  :)

sorry about that.