Sharon Kimble <boudic...@skimble.plus.com> writes:
Miguel Ruiz <rbeni...@inbox.com> writes:
master branch =============
make cleanall #git pull #optional git reset --hard
origin/master # warning: removes local changes #make test
#optional make #not necessary if make test
maint branch =============
make cleanall #git pull #optional git reset --hard
origin/maint # warning: removes local changes #make test
#optional make #not necessary if make test
Thanks, my "org-mode" script now shows -
--8<---------------cut
here---------------start------------->8--- cd ~/git/org-mode git
reset --hard origin/master # mr update make autoloads make make
doc sudo make install cd ~ --8<---------------cut
here---------------end--------------->8---
As the website says, it is enough to do:
#+BEGIN_SRC shell
make update
#+END_SRC
this even pulls the git repository.
