build-htmlman-git: manpages-3 has been moved to manpages.