This repository was archived by the owner on Aug 3, 2024. It is now read-only.
This repository was archived by the owner on Aug 3, 2024. It is now read-only.
Need a hide option for hyperlinked source #758
Open
Description
Happy can generate very large source files. While I may want to have hyperlinked source files for most of my project, I don't for the Happy-generated file. It is huge, unreadable, and uninteresting. Plus it makes haddock
run for ages (instead of completing instantly).
We should have a module-level switch for generating hyperlinked sources.
Metadata
Metadata
Assignees
Labels
No labels