#!/bin/csh
#make-shar <DIR> 
#make an email distribution directory of Isabelle sources. Example:    
#    rm -r ../email-dist;    make-shar ../emaildist
#SHOULD BE RUN FROM THE DISTRIBUTION DIRECTORY.

mkdir $1
cp -i DIST-README $1
tar cvf $1/translate.tar TRANSLATE
uuencode $1/translate.tar translate.tar > translate
#switches: -n sets directory
#          -p takes files in the order given (junk solves a parsing bug)
#          -s75k tries to make files smaller than 100k
#          -m generates manifest
makekit -n$1/Part -s75k -m -pjunk *.ML Makefile LICENCE \
  README make-all make-rulenames\
  EARLEY EARLEY/*.ML translate \
  FOL FOL/{README,Makefile,*.ML,ex} FOL/ex/*.ML\
  LK LK/{README,Makefile,*.ML,ex,ex/*.ML} \
  LK/set LK/set/{README,Makefile,*.ML,ex,ex/*.ML} \
  CTT CTT/{README,Makefile,*.ML,ex,ex/*.ML} \
  HOL HOL/{README,Makefile,*.ML,ex,ex/*.ML} \
  DOC DOC/{*.tex,*.sty}
rm $1/translate.tar translate

