Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Fix Haddock generation. #493

Merged
merged 1 commit into from
Feb 19, 2020
Merged

Fix Haddock generation. #493

merged 1 commit into from
Feb 19, 2020

Conversation

patrickt
Copy link
Contributor

I found myself wanting a Haddock docset for PHP tags work.
Unfortunately, haddocset is behind a GHC version, so it does not
function correctly. At least HTML works, when you pull these
few Haddock-tag changes in.

I found myself wanting a Haddock docset for PHP tags work.
Unfortunately, haddocset is behind a GHC version, so it does not
function correctly. At least HTML works, when you pull these
few Haddock-tag changes in.
@patrickt patrickt requested a review from a team February 19, 2020 21:10
@patrickt patrickt merged commit d266a22 into master Feb 19, 2020
@patrickt patrickt deleted the haddoctor branch February 19, 2020 21:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants