Check the docs into this repo after all, because jenkins can't read the private repo very easily.