Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 26 Aug 2015 16:34:34 +0200
changeset 61034 0776a4adc3d5
parent 61027 06ceb6dcdccd
child 61035 5fa9962e6c38
tuned;
Admin/Release/build file | annotate | diff | comparison | revisions
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- 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>
--- 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
isabelle