echo
echo Filtering concatenated file.
echo
./filter < $1 > .TTMP
echo
echo
echo Repaginating concatenated file.
echo
./repage < .TTMP > $2
echo
rm .TTMP
echo
echo Done.
echo