#!/bin/sh
#make-emaildist: make an email distribution directory on ../emaildist
#Should be run from the Isabelle distribution directory
#
#First, CLEAN UP the directory!  Delete *.log, etc.
#  On 17/4/91, its disc usage was 1099K, making 8 archives.
#  On 13/8/91, its disc usage was 1433K, making 10 archives.

#RELATED FILES 
#    send-emaildist: shell script for mailing the files
#    EMAILDIST-README: instructions for unpacking

set -e
mkdir ../emaildist
tar cf - . > ../emaildist/Isa.tar
(cd ../emaildist
 compress Isa.tar
 uuencode Isa.tar.Z Isa.tar.Z > Isa.tar.Z.uu
 split -1300 Isa.tar.Z.uu Isabelle.
 rm Isa.tar.Z Isa.tar.Z.uu
 echo `ls Isabelle.* | wc -l` ARCHIVES WERE GENERATED)
cp -i EMAILDIST-README ../emaildist
