diff -r 000000000000 -r a5a9c433f639 make-dist
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make-dist	Thu Sep 16 12:20:38 1993 +0200
@@ -0,0 +1,21 @@
+#!/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