Remove html/ from the paths we put in the start menu on Windows

diff --git a/distrib/ghc.iss b/distrib/ghc.iss
index dcadd73..8259b17 100644 (file)
--- a/distrib/ghc.iss
+++ b/distrib/ghc.iss
@@ -19,8 +19,8 @@ Source: "ghc-@VERSION@\README.txt"; DestDir: "{app}"; Flags: isreadme
 
 [Icons]
 Name: "{group}\@VERSION@\GHCi"; Filename: "{app}\bin\ghci.exe"
-Name: "{group}\@VERSION@\GHC Documentation"; Filename: "{app}\doc\html\index.html"
-Name: "{group}\@VERSION@\GHC Library Documentation"; Filename: "{app}\doc\html\libraries\index.html"
+Name: "{group}\@VERSION@\GHC Documentation"; Filename: "{app}\doc\index.html"
+Name: "{group}\@VERSION@\GHC Library Documentation"; Filename: "{app}\doc\libraries\index.html"
 Name: "{group}\@VERSION@\GHC Readme"; Filename: "{app}\README.txt"
 
 [Registry]