# HG changeset patch
# User wenzelm
# Date 1317061901 -7200
# Node ID 3933a0cbd049e2774b7930fb88ab94b6040bba99
# Parent  eb7a797ade0f225f55de97b16a0655cd33d4e25e
makedist for release;

diff -r eb7a797ade0f -r 3933a0cbd049 Admin/makedist
--- a/Admin/makedist	Mon Sep 26 14:03:43 2011 +0200
+++ b/Admin/makedist	Mon Sep 26 20:31:41 2011 +0200
@@ -4,7 +4,7 @@
 
 ## global settings
 
-REPOS_NAME="isabelle"
+REPOS_NAME="isabelle-release"
 REPOS="http://isabelle.in.tum.de/repos/${REPOS_NAME}"
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}