Subject: Re: Problem installing /usr/src/include
To: Michael L. VanLoon -- <>
From: Ken Hornstein <>
List: current-users
Date: 04/30/1996 09:59:37
>>I have problem installing "src/include" from 960428 sup sources.
>>If I call "make install" nothing happens.
>Forgive me if this seems obvious, but did you type "make install" in
>/usr/include or /usr/src/include?

That reminds me ... I've noticed that suddenly "make install" in
/usr/src/include has turned into a no-op for me.  I think I have to do
"make include" to get it to install stuff.  Has anyone else seen this?
(I did do a "make install" in /usr/share/mk, but it didn't do anything)