diff options
author | Moritz Angermann <moritz.angermann@gmail.com> | 2017-11-20 19:47:34 +0800 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2017-11-20 12:47:34 +0100 |
commit | 20f47765f23251a33eab157d80e7c32b7f1d5528 (patch) | |
tree | 195fbad486f13013fb146d5a360caf35c9491685 /ghc.mk | |
parent | 37ab915afbb703e23f457fd04db1e0b9e1e409c0 (diff) |
Drop Paths_haddock from ghc.mk (#707)
With #705 and #706, the custom addition should not be necessary any more.
# Conflicts:
# ghc.mk
Diffstat (limited to 'ghc.mk')
-rw-r--r-- | ghc.mk | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -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 |