Fix git/install-man.sh for making the right symlink.