Re: [O] org manual not updating when pulling from git

[Nick Dokos]

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

-- 
Nick