[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Best way to make the Org source tree?
From: |
William Denton |
Subject: |
Best way to make the Org source tree? |
Date: |
Thu, 14 Mar 2024 01:38:05 +0000 |
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 update
$ git pull && make
Is that right? Is `make autoloads` needed? What should I be running?
I ask because I suddenly wondered if I'd been doing this wrong and it was
triggering a problem.
Bill
--
William Denton
https://www.miskatonic.org/
Librarian, artist and licensed private investigator.
Toronto, Canada
- Best way to make the Org source tree?,
William Denton <=