diff options
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 8ae09166..f5b6b63d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -22,6 +22,8 @@ HADDOCKLIB=$(FPTOOLS_TOP_ABS)/haddock/html HADDOCKBIN=$(FPTOOLS_TOP_ABS)/haddock/src/$(HS_PROG) endif +HAPPY_OPTS += $(GHC_HAPPY_OPTS) + INSTALLED_SCRIPT_PROG = haddock-$(ProjectVersion) INPLACE_SCRIPT_PROG = haddock-inplace |