diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-04-20 10:46:57 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-20 11:37:54 +0200 |
commit | 3b980e7fc47bb898b00c7d37d442e0fd5716cb7c (patch) | |
tree | 549fdcafe8868a0fcf5dc720eeb5a65b9289fd41 | |
parent | 03b02a0faa5381d3a614e3f39b36923b0e988051 (diff) |
ghc: Install files for needed --hyperlinked-source
(cherry picked from commit 5c82c9fc2d21ddaae4a2470f1c375426968f19c6)
-rw-r--r-- | ghc.mk | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -47,6 +47,8 @@ utils/haddock_dist_DATA_FILES += html/Ocean.std-theme/minus.gif utils/haddock_dist_DATA_FILES += html/Ocean.std-theme/ocean.css utils/haddock_dist_DATA_FILES += html/Ocean.std-theme/plus.gif utils/haddock_dist_DATA_FILES += html/Ocean.std-theme/synopsis.png +utils/haddock_dist_DATA_FILES += html/solarized.css +utils/haddock_dist_DATA_FILES += html/highlight.js utils/haddock_dist_DATA_FILES += latex/haddock.sty ifeq "$(HADDOCK_DOCS)" "YES" |