Add new targets to makefile for managing repositories 1. The native local repository uses darcs but a mirror is maintained in a local git repository. A new target called 'mirror' will mirror the darcs repository to the git repository. 2. The public repository is maintained on Google Project Hosting site as a git repository. A new target called 'push' will push the local git repository to the remote repository.
Add new targets to makefile for managing repositories
1. The native local repository uses darcs but a mirror is maintained in a local
git repository. A new target called 'mirror' will mirror the darcs repository
to the git repository.
2. The public repository is maintained on Google Project Hosting site as a git
repository. A new target called 'push' will push the local git repository to
the remote repository.

tectronics/evergreen-mobile-opac,tectronics/evergreen-mobile-opac,stevenyvr987/evergreen-mobile-opac,stevenyvr987/evergreen-mobile-opac,stevenyvr987/evergreen-mobile-opac,tectronics/evergreen-mobile-opac,a-pasquale/evergreen-mobile-opac,tectronics/evergreen-mobile-opac,stevenyvr987/evergreen-mobile-opac,a-pasquale/evergreen-mobile-opac,a-pasquale/evergreen-mobile-opac