Adaptation to git: added a new push target to the main makefile.