Subject: Re: Kernel include files
To: Charles M. Hannum <>
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-)