A small mod.
3 #make a distribution directory of Isabelle sources. Example:
4 # rm -r /usr/groups/theory/isabelle/91
5 # make-dist /usr/groups/theory/isabelle/91
7 #BEFORE MAKING A NEW DISTRIBUTION VERSION, CHECK...
8 # * that make-all works perfectly
9 # * that README files are up-to-date
10 # * that the version number has been updated
12 #This version copies EVERYTHING!!!!!!!!!!!!!!!!
14 set -e #terminate if error
17 mkdir ${1?'No destination directory specified'}
20 #TO WRITE POLY/ML AND ISABELLE TAPES, USE SHELL SCRIPT write-dist
21 #TO PACK FOR EMAIL, USE SHELL SCRIPTS make-emaildist, send-emaildist