#!/bin/csh

cp junk2.ps		figps
cp junk2.ps.save	figpssave
cp junk2.v		figv
cp junk2.v.save		figvsave
cp junk2.warning	figwarn

# Matt, the temporary file have dangerously common names.  If you
#  change them, they need to be changed in the AWK program too.

foreach i ( figps figpssave figv figvsave figwarn)
	awk '{print $1, $2, myfile }' myfile=$i $i > myjunk$$.$i
	end

cat myjunk$$.* | sort | awk -f AWK

/bin/rm myjunk$$* figps figpssave figv figvsave figwarn

<figtab ~jon/bin/Table | more
<figsum ~jon/bin/Table | more


