#!/bin/sh
#make-dist <DIR> 
#make a distribution directory of Isabelle sources. Example:    
#    rm -r /usr/groups/theory/isabelle/dist
#    make-dist /usr/groups/theory/isabelle/dist

#BEFORE MAKING A NEW DISTRIBUTION VERSION, CHECK...
#   * that make-all works perfectly
#   * that README files are up-to-date
#   * that the version number has been updated

set -e		#terminate if error

#Pure Isabelle
mkdir ${1?'No destination directory specified'}
cp -ipr LICENCE README DIST-README Makefile* \
       make-rulenames make-all EARLEY *.ML $1

#Natural deduction first-order logic: intuitionistic and classical
cp -ipr FOL $1

#Constructive Type Theory
cp -ipr CTT $1

#Classical first-order logic (including set theory)
cp -ipr LK $1

#Higher-order Logic
cp -ipr HOL $1

#Translation directory
cp -ipr TRANSLATE $1

#Manual
cp -ipr DOC $1

#TO WRITE POLY/ML AND ISABELLE TAPES, USE SHELL SCRIPT write-dist
#TO PACK FOR EMAIL, USE SHELL SCRIPTS make-shar, mail-shar
