# HG changeset patch
# User wenzelm
# Date 1440751848 -7200
# Node ID 5fa9962e6c389cb0dec67dff301859fe86f431d0
# Parent  fd7fe96ca7b95213f11cd40a2961a7123c442624# Parent  0776a4adc3d5773cc556d7a6a247978969175360
merged;

diff -r fd7fe96ca7b9 -r 5fa9962e6c38 Admin/Release/build
--- a/Admin/Release/build	Thu Aug 27 22:36:09 2015 +0200
+++ b/Admin/Release/build	Fri Aug 28 10:50:48 2015 +0200
@@ -140,7 +140,7 @@
 <h1>${DISTNAME}</h1>
 <ul>
 <li><a href="${DISTNAME}_app.tar.gz">Linux</a></li>
-<li><a href="${DISTNAME}.exe">Windows</a></li>
+<li><a href="${DISTNAME}-win32.exe">Windows</a></li>
 <li><a href="${DISTNAME}-win64.exe">Windows (64bit)</a></li>
 <li><a href="${DISTNAME}.dmg">Mac OS X</a></li>
 </ul>
diff -r fd7fe96ca7b9 -r 5fa9962e6c38 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Thu Aug 27 22:36:09 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Fri Aug 28 10:50:48 2015 +0200
@@ -370,7 +370,7 @@
     windows)
       (
         if [ "$PLATFORM_FAMILY" = windows ]; then
-          PLATFORM_SUFFIX=""
+          PLATFORM_SUFFIX="-win32"
         else
           PLATFORM_SUFFIX="-win64"
         fi