circleci: Fix documentation building
[ghc.git] / .circleci / images / update-image
2018-08-09  Ben Gamaricircleci: Fix documentation building