Fix manpage issue when sphinx is not new enough to generate man pages.