Handle doc-index*.html, not just doc-index.html

[ghc-hetmet.git] / driver / ghci / ghci.ico

diff --git a/driver/ghci/ghci.ico b/driver/ghci/ghci.ico
index 680be76..a31ca52 100644 (file)
Binary files a/driver/ghci/ghci.ico and b/driver/ghci/ghci.ico differ