--- 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