#!/bin/bash
#
# usage:  spim-multifiles files_to_combine
#
if [ -z "$1" ]
then
    echo `basename $0` file 1 file2 ....
    exit 1
fi
tmpfile=tmp-$$
cat $* >$tmpfile
spim -f $tmpfile
#echo removing temporary file $tmpfile
rm $tmpfile