Charles Millar <address@hidden> 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).