John Hendy <jw.he...@gmail.com> writes: > On Tue, Mar 19, 2013 at 6:48 PM, Bastien <b...@altern.org> wrote: >> Hi John, >> >> how did you "pull"? by using git pull or make update? > > - git pull > - make clean && make && make doc > > I'm kind of glad you asked, as this used to (I think) be the "right" > method, but I have a vague notion that there's some built-in-org way > now?
~$ make update will pull and make for you... ~$ make help ~$ make helpall are useful too. > I don't install to anywhere, so I'm only interested in compiling and > loading right from the git repo vs. scattering files all over. > > All ears to documentation about a proper way, if there is one that's > now recommended. I'd recommend ~$ make update Oh, btw, I fixed the problem in master, was my fault, not the installation fault... thanks for reporting this! -- Bastien
