# install
# 0) in some temp directory
# 1) wget -q -O INSTALL http://unbox.org/wisp/trunk/our/INSTALL
# 2) bash INSTALL
# 
# Files are installed to $HOME/opt/
# See http://unbox.org/wisp/trunk/our/INSTALL.log for a log
# of a successful install

Release="http://unbox.org/wisp/trunk/our"
Base=$HOME/opt

mkdir -p $Base
cd $Base
for i in oursh ourgawk ourmine; do
	mkdir -p $i
	mkdir -p $i/doc/html
	(cd $i
	wget -q -O our $Release/our
	chmod +x our
    )
done

(cd oursh
wget -q -O shrc $Release/shrc
wget -q -O doc/html/shrc.html $Release/doc/html/shrc.html
echo "To uninstall oursh:   rm -rf $Base/oursh"
)

(cd ourgawk
wget -q -O gawkrc $Release/gawkrc
wget -q -O doc/html/gawkrc.html $Release/doc/html/gawkrc.html
echo "To uninstall ourgawk: rm -rf $Base/ourgawk"
)

(cd ourmine
wget -q -O minerc $Release/minerc
wget -q -O doc/html/minerc.html $Release/doc/html/minerc.html
echo "To uninstall ourmine: rm -rf $Base/ourmine"
)