>From: "Eric Delcamp" <edelcamp@alienor.fr>
>Date: Fri, 13 Dec 1996 18:55:51 +0100

>Unfortunately, I have deleted the whole /usr/include directory (current
>kernel & sources).
>I want to remake one, but I have a small problem :
>
>- some directories (netiso, netinet, sys, dev,...) are not under the source
>/usr/src/include.
>Should I make a link between /usr/src/sys/(theses dir.) to /usr/include or
>where is the script that copies the source to destination ?

There is no script; the system Makefiles ensure that all headers are
copied to the proper place.  You can fully rebuild your /usr/include
hierarchy by running 'make includes' from /usr/src.
-- 
Mike Long <mike.long@analog.com>     <URL:http://www.shore.net/~mikel>
VLSI Design Engineer         finger mikel@shore.net for PGP public key
Analog Devices, CPD Division          CCBF225E7D3F7ECB2C8F7ABB15D9BE7B
Norwood, MA 02062 USA       (eq (opinion 'ADI) (opinion 'mike)) -> nil