Version the generated man pages so that everybody can benefit from them without having to build the documentation. It can be regenerated using doc/pedantic_build.sh.
