#  The only argument to this batch file should be the name of the
#  indexed file, without the extension....

#  First, make a backup of the indexed file in question....
cp $1.ife *.bk1

./i_f_utl2 1 $1.ife $1.str $1.att 0
./i_f_utl2 2 $1.ife $1.str $1.att 0
./i_f_utl2 4 $1.ife $1.str $1.att 0