Once the Docs team has generated the man pages, they will need to be added to the repo and fix packaging scripts if needed. https://docs.mongodb.com/manual/manpages.tar.gz