diff options
| -rw-r--r-- | haddock-api/haddock-api.cabal | 10 | ||||
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/hslogo-16.png | bin | 1684 -> 0 bytes |
2 files changed, 5 insertions, 5 deletions
diff --git a/haddock-api/haddock-api.cabal b/haddock-api/haddock-api.cabal index 70e4c2cc..d5c976b6 100644 --- a/haddock-api/haddock-api.cabal +++ b/haddock-api/haddock-api.cabal @@ -29,11 +29,11 @@ data-files: html/Classic.theme/minus.gif html/Classic.theme/plus.gif html/Classic.theme/xhaddock.css - html/Ocean.std-theme/hslogo-16.png - html/Ocean.std-theme/minus.gif - html/Ocean.std-theme/ocean.css - html/Ocean.std-theme/plus.gif - html/Ocean.std-theme/synopsis.png + html/Ocean.theme/hslogo-16.png + html/Ocean.theme/minus.gif + html/Ocean.theme/ocean.css + html/Ocean.theme/plus.gif + html/Ocean.theme/synopsis.png html/NewOcean.std-theme/hslogo-16.png html/NewOcean.std-theme/minus.gif html/NewOcean.std-theme/new-ocean.css diff --git a/haddock-api/resources/html/NewOcean.std-theme/hslogo-16.png b/haddock-api/resources/html/NewOcean.std-theme/hslogo-16.png Binary files differdeleted file mode 100644 index 0ff8579f..00000000 --- a/haddock-api/resources/html/NewOcean.std-theme/hslogo-16.png +++ /dev/null |
