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