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
