Remove OPTIONS_HADDOCK hide in favour for not-home

Authored by adamse on Dec 30 2018, 1:04 PM.

Description

Remove OPTIONS_HADDOCK hide in favour for not-home

GHC Trac Issues: Trac #15447

Details

Committed
bgamariJan 6 2019, 6:27 AM
Parents
rGHC66b88dddb318: gitlab-ci: Try reenabling PDF documentation on Darwin
Branches
Unknown
Tags
Unknown