# HG changeset patch
# User wenzelm
# Date 1216307028 -7200
# Node ID 50e5e7b4e6f847fd28a43eaac7db19b689dba75c
# Parent  66fcb7e9baef131a836ef2a8c57eaaa6ff71599e
obsolete;

diff -r 66fcb7e9baef -r 50e5e7b4e6f8 Admin/make_everything
--- a/Admin/make_everything	Thu Jul 17 17:01:54 2008 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,38 +0,0 @@
-#!/usr/bin/env bash
-#
-# $Id$
-#
-# make_everything -- an adhoc script that demonstrates the general procedure
-#   of creating the Isabelle distribution and WWW site
-#
-# assumptions:
-#   - proper settings for polyml are present by magic
-#     (e.g. via ~/isabelle/etc/settings)
-#   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
-
-
-date
-
-REPOS=~/isabelle/src
-DIST=~/tmp/isadist
-
-$REPOS/Admin/makedist ${1:--}
-ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)
-
-case $(hostname) in
-  *broy*)
-    #Note: this causes strange behaviour with "nohup" -- better use "screen"
-    ssh sunbroy1 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
-    ssh atbroy37 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
-    ;;
-  *)
-    $REPOS/Admin/makebin $ISABELLE_DIST
-    ;;
-esac
-
-cd $(dirname "$ISABELLE_DIST")
-cp -a ../contrib .
-
-cd website && make && cd .. && rm -rf website
-
-date