On Sun, 26 Oct 1997 22:21:11 -0800 
 Jonathan Stone <jonathan@DSG.Stanford.EDU> wrote:

 > I think this is a different problem. There is a bug in the
 > usr.bin/xlint Makefile that caused it to miss-install the new `lint'.

The miss-install only happens if DESTDIR is set.  The broken Makefile
certainly works for me in the common usage (i.e. DESTDIR not set).

Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                            Home: +1 408 866 1912
NAS: M/S 258-6                                       Work: +1 650 604 0935
Moffett Field, CA 94035                             Pager: +1 415 428 6939