aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-04-20 10:46:57 +0200
committerBen Gamari <ben@smart-cactus.org>2016-04-20 11:37:54 +0200
commit3b980e7fc47bb898b00c7d37d442e0fd5716cb7c (patch)
tree549fdcafe8868a0fcf5dc720eeb5a65b9289fd41
parent03b02a0faa5381d3a614e3f39b36923b0e988051 (diff)
ghc: Install files for needed --hyperlinked-source
(cherry picked from commit 5c82c9fc2d21ddaae4a2470f1c375426968f19c6)
-rw-r--r--ghc.mk2
1 files changed, 2 insertions, 0 deletions
diff --git a/ghc.mk b/ghc.mk
index af2d8de3..72ba5df1 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -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"