| author | wenzelm |
| Tue, 27 Jan 2009 12:59:38 +0100 | |
| changeset 29639 | b9a7ea6c6da7 |
| parent 29637 | da018485b89d (diff) |
| parent 29638 | 1f8f3d26a2cf (current diff) |
| child 29641 | 08d462dbb1a9 |
--- a/Admin/makedist Tue Jan 27 12:59:22 2009 +0100 +++ b/Admin/makedist Tue Jan 27 12:59:38 2009 +0100 @@ -1,12 +1,10 @@ #!/usr/bin/env bash # -# $Id$ -# # makedist -- make Isabelle source distribution ## global settings -REPOS="http://isabelle.in.tum.de/repos/isabelle" +REPOS="https://isabelle.in.tum.de/repos/isabelle" DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}