|
From: | Colin Campbell |
Subject: | Re: improving the CG |
Date: | Mon, 28 Dec 2009 16:52:37 -0700 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.10) Gecko/20070403 Thunderbird/1.5.0.10 Mnenhy/0.7.4.0 |
Carl Sorensen wrote:
If you're only working on docs (i.e. no code changes), there's no need to run make before make doc, IIUC. Carl
Noob question: is it likely that a change in the binary, overlooked by not doing a make, would break the docs, in the sense of changing documented behaviour? I've formed the habit of make && make doc any time git pull -r looks like it caught something, but perhaps I'm being overly cautious?
Colin -- A good juggler can always find work. - attributed to L. Pacioli (1445 - 1517)
[Prev in Thread] | Current Thread | [Next in Thread] |