> Achim's branch is now merged in Org's git master branch. > > Please test this and report any problem while using make > to install Org. > > -- > Bastien >
It runs smoothly for me, using make clean, make, make doc, and make install (without local.mk, having yet no need of it). François.
