--- a/make-dist Fri Apr 04 17:01:12 2003 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-#!/bin/sh
-#make-dist <DIR>
-#make a distribution directory of Isabelle sources. Example:
-# rm -r /usr/groups/theory/isabelle/91
-# make-dist /usr/groups/theory/isabelle/91
-
-#BEFORE MAKING A NEW DISTRIBUTION VERSION, CHECK...
-# * that make-all works perfectly
-# * that README files are up-to-date
-# * that the version number has been updated
-
-#This version copies EVERYTHING!!!!!!!!!!!!!!!!
-
-set -e #terminate if error
-
-#Pure Isabelle
-mkdir ${1?'No destination directory specified'}
-cp -ipr . $1
-
-#TO WRITE POLY/ML AND ISABELLE TAPES, USE SHELL SCRIPT write-dist
-#TO PACK FOR EMAIL, USE SHELL SCRIPTS make-emaildist, send-emaildist