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 | |
| 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
| -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 |