diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 09:02:35 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 09:02:35 -0700 |
| commit | 223a86e2f7bcf83e0e1e45cea82300a9ed7b9219 (patch) | |
| tree | f51a36d6d8774a85970e50391aa91ff55524cb23 /ghc.mk | |
| parent | 88f9060466b7f034d7cf0b60d5380507403def36 (diff) | |
User manual + stuff for building GHC docs
Diffstat (limited to 'ghc.mk')
| -rw-r--r-- | ghc.mk | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -40,11 +40,16 @@ utils/haddock_dist_DATA_FILES += html/Classic.theme/haskell_icon.gif utils/haddock_dist_DATA_FILES += html/Classic.theme/minus.gif utils/haddock_dist_DATA_FILES += html/Classic.theme/plus.gif utils/haddock_dist_DATA_FILES += html/Classic.theme/xhaddock.css -utils/haddock_dist_DATA_FILES += html/Ocean.std-theme/hslogo-16.png -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/Ocean.theme/hslogo-16.png +utils/haddock_dist_DATA_FILES += html/Ocean.theme/minus.gif +utils/haddock_dist_DATA_FILES += html/Ocean.theme/ocean.css +utils/haddock_dist_DATA_FILES += html/Ocean.theme/plus.gif +utils/haddock_dist_DATA_FILES += html/Ocean.theme/synopsis.png +utils/haddock_dist_DATA_FILES += html/NewOcean.std-theme/hslogo-16.png +utils/haddock_dist_DATA_FILES += html/NewOcean.std-theme/minus.gif +utils/haddock_dist_DATA_FILES += html/NewOcean.std-theme/new-ocean.css +utils/haddock_dist_DATA_FILES += html/NewOcean.std-theme/plus.gif +utils/haddock_dist_DATA_FILES += html/NewOcean.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 |