| changeset 56902 | f901a08c5653 |
| parent 56829 | f151ade98b15 |
| child 56987 | 9b6628f29def |
| 56901:2f73ef9eb272 | 56902:f901a08c5653 |
|---|---|
68 Packaging |
68 Packaging |
69 ========= |
69 ========= |
70 |
70 |
71 - fully-automated packaging (requires Mac OS X): |
71 - fully-automated packaging (requires Mac OS X): |
72 |
72 |
73 hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist |
73 hg up -r DISTNAME && Admin/Release/build -l -r DISTNAME /home/isabelle/dist |
74 |
74 |
75 |
75 |
76 Final release stage |
76 Final release stage |
77 =================== |
77 =================== |
78 |
78 |