build-htmlman-git: Run build-htmlman-git with bash.