git-remote-mediawiki build: make 'install' command configurable
authorJonathan Nieder <jrnieder@gmail.com>
Mon, 11 Nov 2013 20:45:50 +0000 (12:45 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 11 Nov 2013 22:14:06 +0000 (14:14 -0800)
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>
No differences found