[PATCH STABLE] wix: style-coal.css has been renamed

[Steve Borho]

# HG changeset patch
# User Steve Borho <steve at borho.org>
# Date 1447083680 21600
#      Mon Nov 09 09:41:20 2015 -0600
# Branch stable
# Node ID cf4b209c2b18742c720f0bb8c5ae867aea0077ed
# Parent  e7c618cee8df35aefedad15b991d628bae1c60c8
wix: style-coal.css has been renamed

diff -r e7c618cee8df -r cf4b209c2b18 contrib/wix/templates.wxs
--- a/contrib/wix/templates.wxs	Tue Nov 03 17:13:27 2015 -0800
+++ b/contrib/wix/templates.wxs	Mon Nov 09 09:41:20 2015 -0600
@@ -227,7 +227,7 @@
             <File Id="static.mercurial.js"       Name="mercurial.js" />
             <File Id="static.hgicon.png"         Name="hgicon.png" />
             <File Id="static.hglogo.png"         Name="hglogo.png" />
-            <File Id="static.style.coal.css"     Name="style-coal.css" />
+            <File Id="static.style.coal.css"     Name="style-extra-coal.css" />
             <File Id="static.style.gitweb.css"   Name="style-gitweb.css" />
             <File Id="static.style.monoblue.css" Name="style-monoblue.css" />
             <File Id="static.style.paper.css"    Name="style-paper.css" />