| changeset 47862 | d9a09f965dab |
| parent 47739 | 19b914b7ac23 |
| child 47887 | 4e9c06c194d9 |
--- a/Admin/makedist Wed May 02 21:23:14 2012 +0200 +++ b/Admin/makedist Wed May 02 21:55:13 2012 +0200 @@ -4,7 +4,7 @@ ## global settings -REPOS_NAME="isabelle" +REPOS_NAME="isabelle-release" REPOS="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}" DISTPREFIX="${DISTPREFIX:-$HOME/tmp/isadist}"