This is necessary so that the manpage generation is deterministic and we can test if the man pages are up to date when the CI tests run.