# Install script for the file tool for TASK
#
# Run this as 'sh install'
#
# To remove it all, use 'sh clean'
#
if (test -f './Makefile') then
	true
else
	./configure -prefix=`cd ../..; pwd` -exec-prefix=`cd ../..; pwd`
fi
make
make install
