# HG changeset patch
# User wenzelm
# Date 1440599674 -7200
# Node ID 0776a4adc3d5773cc556d7a6a247978969175360
# Parent  06ceb6dcdccd49f21c83e5922709f47cefedeb5e
tuned;

diff -r 06ceb6dcdccd -r 0776a4adc3d5 Admin/Release/build
--- a/Admin/Release/build	Wed Aug 26 14:59:26 2015 +0200
+++ b/Admin/Release/build	Wed Aug 26 16:34:34 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 06ceb6dcdccd -r 0776a4adc3d5 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Wed Aug 26 14:59:26 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Wed Aug 26 16:34:34 2015 +0200
@@ -370,7 +370,7 @@
     windows)
       (
         if [ "$PLATFORM_FAMILY" = windows ]; then
-          PLATFORM_SUFFIX=""
+          PLATFORM_SUFFIX="-win32"
         else
           PLATFORM_SUFFIX="-win64"
         fi