Charles Millar <mill...@verizon.net> writes: >> So, how do you update? >> > I forgot about make doc; in the past I used it whenever I had to > recompile org from source; after that the pdf "just updated" each time > I pulled from git. >
The question was: *how* do you pull from git? If you use one of the make targets (e.g. make update), that's one thing; but if you use "git pull" or some variant thereof that does *not* involve make, then the pdf would *not* "just update" (unless you've set up some git hook to do some post-processing). -- Nick