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