Subject: Re: Kernel include files
To: Charles M. Hannum <mycroft@gnu.ai.mit.edu>
From: Chris G Demetriou <Chris_G_Demetriou@LAGAVULIN.PDL.CS.CMU.EDU>
List: current-users
Date: 01/04/1995 23:31:49
> There are currently only two things that *have* to be updated in the
> running system during a build:
>
> * /usr/share/mk
> * /usr/share/tmac
>
> Everything else should use the files in $DESTDIR if it's set.
actually, if you're willing to punt on the man pages (i.e. do a make
with NOMAN= set), then you shouldn't need the latter... 8-)
chris