aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMoritz Angermann <moritz.angermann@gmail.com>2017-11-20 19:47:34 +0800
committerAlexander Biehl <alexbiehl@gmail.com>2017-11-20 12:47:34 +0100
commit20f47765f23251a33eab157d80e7c32b7f1d5528 (patch)
tree195fbad486f13013fb146d5a360caf35c9491685
parent37ab915afbb703e23f457fd04db1e0b9e1e409c0 (diff)
Drop Paths_haddock from ghc.mk (#707)
With #705 and #706, the custom addition should not be necessary any more. # Conflicts: # ghc.mk
-rw-r--r--ghc.mk2
1 files changed, 0 insertions, 2 deletions
diff --git a/ghc.mk b/ghc.mk
index 91c9eb49..4bcc4b18 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -33,8 +33,6 @@ $(INPLACE_LIB)/latex:
endif
-utils/haddock_dist_MODULES += Paths_haddock
-
utils/haddock_dist_DATA_FILES += html/quick-jump.min.js
utils/haddock_dist_DATA_FILES += html/quick-jump.css
utils/haddock_dist_DATA_FILES += html/haddock-bundle.min.js