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 10:46:57 +0200 |
| commit | 5c82c9fc2d21ddaae4a2470f1c375426968f19c6 (patch) | |
| tree | 0d11acce4d0846fcda7fd66f1e7b3f9443a1d053 | |
| parent | a77728cc274751e8b8077b3ccc8aacc7d00bf36d (diff) | |
ghc: Install files for needed --hyperlinked-source
| -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" |