From 3b980e7fc47bb898b00c7d37d442e0fd5716cb7c Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Wed, 20 Apr 2016 10:46:57 +0200 Subject: ghc: Install files for needed --hyperlinked-source (cherry picked from commit 5c82c9fc2d21ddaae4a2470f1c375426968f19c6) --- ghc.mk | 2 ++ 1 file changed, 2 insertions(+) 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" -- cgit v1.2.3