Re: Best way to make the Org source tree?

2024-03-14 Thread Rohit Patnaik
>From reading `mk/targets.mk`, seems like `make update` runs the following: git checkout $(GIT_BRANCH) git remote update git pull make all I think `make all` also runs `make autoloads`. Personally, my update process is `git pull && make`, because until just now I didn't realize

Best way to make the Org source tree?

2024-03-13 Thread William Denton
I looked on the site and in the source but didn't see this, but forgive me if I missed something obvious. Say I cloned the Git repository and now I'm in that directory and want to update Org. I'm not doing any development, I just want to stay current. I think these are equivalent: $ make