Fix git/install-man.sh, using install git version.