git-remote-mediawiki build: make 'install' command configurable
commit33f918c6752d543e00cbb0c554a13532b5d97366
authorJonathan Nieder <jrnieder@gmail.com>
Mon, 11 Nov 2013 20:45:50 +0000 (11 12:45 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 11 Nov 2013 22:14:06 +0000 (11 14:14 -0800)
tree384d0ee12f40f50b7667e992aa78c90759dce15d
parentc311741331058f4a3005569fb3f937b92e4521fb
git-remote-mediawiki build: make 'install' command configurable

On some machines, the most usable 'install' tool is named
'ginstall'.

Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Acked-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/mw-to-git/Makefile