#!/bin/bash
# Prepare source tree for distribution
# Use with caution

# Remove all temporary files
find ./ -name \*~\* | xargs rm
# Remove _darcs directory
rm -rf _darcs
# Remove EQuip directory
rm -rf equip
rm -rf Documentation/EQuip
rm -rf includes/STORM/equip
# Remove images
rm -rf common/img
# Remove some other files
rm next_modules
rm distprep.txt
rm distprep
echo Remember to remove the error checking function