Fix git/install-man.sh: compute correct sha1 in git-manpages.