equal
deleted
inserted
replaced
53 Packaging |
53 Packaging |
54 ========= |
54 ========= |
55 |
55 |
56 - hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist |
56 - hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist |
57 |
57 |
58 - Mac OS X: hdiutil create -srcfolder DIR DMG |
58 - manual packaging of .app (Mac OS) and .exe (Windows) |
59 |
|
60 - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
|
61 |
59 |
62 |
60 |
63 Final release stage |
61 Final release stage |
64 =================== |
62 =================== |
65 |
63 |