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.
merged;
authorwenzelm
Fri, 28 Aug 2015 10:50:48 +0200
changeset 61035 5fa9962e6c38
parent 61033 fd7fe96ca7b9 (current diff)
parent 61034 0776a4adc3d5 (diff)
child 61036 f6f2959bed67
merged;
--- 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>
--- 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
isabelle