From e2cd0a8095e6fe3c5081e73beff0d2e2a1cc00f8 Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Sun, 21 Oct 2018 10:36:19 -0700 Subject: Update 'data-files' to include NewOcean stuff --- haddock-api/haddock-api.cabal | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/haddock-api/haddock-api.cabal b/haddock-api/haddock-api.cabal index eeb5b869..70e4c2cc 100644 --- a/haddock-api/haddock-api.cabal +++ b/haddock-api/haddock-api.cabal @@ -34,6 +34,11 @@ data-files: html/Ocean.std-theme/ocean.css html/Ocean.std-theme/plus.gif html/Ocean.std-theme/synopsis.png + html/NewOcean.std-theme/hslogo-16.png + html/NewOcean.std-theme/minus.gif + html/NewOcean.std-theme/new-ocean.css + html/NewOcean.std-theme/plus.gif + html/NewOcean.std-theme/synopsis.png latex/haddock.sty library -- cgit v1.2.3