gitlab-ci: Try reenabling PDF documentation on Darwin

Authored by bgamari on Dec 30 2018, 12:49 PM.

Description

gitlab-ci: Try reenabling PDF documentation on Darwin

Carter says that the builder issues have now been sorted.

(cherry picked from commit 66b88dddb3188cc63b4b4f4f065b6548aedfa403)

Details

Committed
bgamariJan 15 2019, 10:25 PM
Parents
rGHC4985e1c6cf9f: Fix bindist for ghci library
Branches
Unknown
Tags
Unknown
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.