| 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 |