#!/bin/csh -f

# Make a scratch directory to work in

mkdir scratch


# Copy everything in the release over

cp resources.html scratch
cp ../ISPCover.gif scratch
cp *.gif scratch
cp -r applets scratch
cp -r worksheets scratch
cp -r tutorials scratch

# Find all of the .html files and run them through make-nt

cd scratch
find . -name '*.html' -exec ../make-nt {} \;


# Create a tar file consisting of everything in scratch

tar -cf ../distribution.tar *
cd ..
gzip distribution.tar


# Get rid of the scratch directory

#rm -r scratch