Rebuilding the docs since the last build broke