Doxyfile: don't generate man.