aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Ocean.std-theme/plus.gif
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-04-10 19:31:39 +0200
committerBen Gamari <ben@smart-cactus.org>2016-04-10 23:46:22 +0200
commitea63a59882c6d1ecd5e4147d3500d664c9431dd8 (patch)
tree7ca0f20d3c45bb275691b19a7ba6422a585b570d /haddock-api/resources/html/Ocean.std-theme/plus.gif
parent1308be34399d1819e39f6ad1ea41928681110a4a (diff)
doc: Only install if BUILD_SPHINX_HTML==YES
Fixes GHC #11818. (cherry picked from commit c6d6a18d85e5e2d9bb5904e6919e8a8d7e31c4c5)
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions