changeset 56987 | 9b6628f29def |
parent 56902 | f901a08c5653 |
child 57454 | e302e4bd0345 |
56986:43be5818a45c | 56987:9b6628f29def |
---|---|
66 |
66 |
67 |
67 |
68 Packaging |
68 Packaging |
69 ========= |
69 ========= |
70 |
70 |
71 - fully-automated packaging (requires Mac OS X): |
71 - fully-automated packaging (requires Mac OS X with gnutar): |
72 |
72 |
73 hg up -r DISTNAME && Admin/Release/build -l -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 |