Skip to content
Commit 5468d5c6 authored by Peter Simons's avatar Peter Simons Committed by GitHub
Browse files

Merge pull request #27991 from Profpatsch/hoogleLocal-fix 

Fix the `ghcWithHoogle` function to cope with the presence of separate `doc` outputs.
parents 8b4f5376 4a8efae0
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment