Daniel Martins <
address@hidden> writes:
> On the other hand: Shouldn't a simple `make' do everything needed
> to succeed?
>
> On "How do I keep current with Org mode development?"
>
>
http://orgmode.org/worg/org-faq.php#
> keeping-current-with-Org-mode-development
>
> it is suggested the following commands
>
> git pull && make clean && make && make doc && make install
>
> I've put together with a command which updaes a bunch of svn
> repositories from my students.
>
> The problem is: make clean before make FORCES recompiling the same
> files again and not only the updated files!
>
> As org-mode is updated very often and the the compiling process is a
> bit slow and always annoying
> I decide to change the comand to
>
> git pull & && make && make install
>
> I dropped make doc because it seems that there is som problem with
> texinfo files of these new version.
>
> The problem of omitting make clean isthat: if a file disappears its
> compiled maybe will not disappear and cause problems.
>
> Therefore I repeat Sebastien request:
>
> Shouldn't a simple `make' do everything needed to succeed?
I can't say anything definitive. All I know is that a simple "make &&