It seems fitting that make doc for git takes way longer than making the binaries.