Subject: Re: Reinstalling Includes
To: None <firstname.lastname@example.org>
From: Mike Long <email@example.com>
Date: 12/23/1996 16:22:52
>From: "Eric Delcamp" <firstname.lastname@example.org>
>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
>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 <email@example.com> <URL:http://www.shore.net/~mikel>
VLSI Design Engineer finger firstname.lastname@example.org for PGP public key
Analog Devices, CPD Division CCBF225E7D3F7ECB2C8F7ABB15D9BE7B
Norwood, MA 02062 USA (eq (opinion 'ADI) (opinion 'mike)) -> nil