# HG changeset patch
# User wenzelm
# Date 1335988513 -7200
# Node ID d9a09f965dab62653a33ea7b8a52c7a0b59b32d7
# Parent  c7144da6abfb518149a4e04bc50cf59df573b8d7
makedist for release;

diff -r c7144da6abfb -r d9a09f965dab Admin/makedist
--- 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}"