>Date: Sun, 22 Sep 1996 10:14:48 -0700
>From: "Michael L. VanLoon -- HeadCandy.com" <michaelv@MindBender.serv.net>

>If you've already done a make depend once, you shouldn't need to do it
>again, unless the headers are drastically altered.
>
>Also, the first time you build it processes all the man pages.  After
>that, it only re-processes a man page if it changes.  This will also
>save you some time.

A number of environment variables will also save you time:

Variable name		Action
----------------------------------------------------------------------
NOMAN			No manpages are formatted
NOPROFILE		No profiling libraries (lib*_p.a) are made
EXPORTABLE_SYSTEM	Skips src/domestic

-- 
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