make-dist
changeset 0 a5a9c433f639
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/make-dist	Thu Sep 16 12:20:38 1993 +0200
     1.3 @@ -0,0 +1,21 @@
     1.4 +#!/bin/sh
     1.5 +#make-dist <DIR> 
     1.6 +#make a distribution directory of Isabelle sources. Example:    
     1.7 +#    rm -r /usr/groups/theory/isabelle/91
     1.8 +#    make-dist /usr/groups/theory/isabelle/91
     1.9 +
    1.10 +#BEFORE MAKING A NEW DISTRIBUTION VERSION, CHECK...
    1.11 +#   * that make-all works perfectly
    1.12 +#   * that README files are up-to-date
    1.13 +#   * that the version number has been updated
    1.14 +
    1.15 +#This version copies EVERYTHING!!!!!!!!!!!!!!!!
    1.16 +
    1.17 +set -e		#terminate if error
    1.18 +
    1.19 +#Pure Isabelle
    1.20 +mkdir ${1?'No destination directory specified'}
    1.21 +cp -ipr . $1
    1.22 +
    1.23 +#TO WRITE POLY/ML AND ISABELLE TAPES, USE SHELL SCRIPT write-dist
    1.24 +#TO PACK FOR EMAIL, USE SHELL SCRIPTS make-emaildist, send-emaildist