#!/bin/bash

rm -rf triptrap
rm -rf etrip
cp -r ../triptrap .
cp -r ../etexdir/etrip .

pushd triptrap
pltotf trip
eptex -ini trip
mv trip.log ep-trip-1.log
eptex -fmt=trip trip
mv trip.log ep-trip-2.log
eptex -ini *trip
mv trip.log ep-trip-e1.log
eptex -fmt=trip "\\toksdef\\tokens=0 \\input trip"
mv trip.log ep-trip-e2.log
ptex -ini trip
mv trip.log p-trip-1.log
ptex -fmt=trip trip
mv trip.log p-trip-2.log
etex -ini trip
mv trip.log e-trip-1.log
etex -fmt=trip trip
mv trip.log e-trip-2.log
etex -ini *trip
mv trip.log e-trip-e1.log
etex -fmt=trip "\\toksdef\\tokens=0 \\input trip"
mv trip.log e-trip-e2.log

popd
pushd etrip
pltotf etrip
eptex -ini *etrip
mv etrip.log ep-etrip-1.log
eptex -fmt=etrip etrip
mv etrip.log ep-etrip-2.log
etex -ini *etrip
mv etrip.log e-etrip-1.log
etex -fmt=etrip etrip
mv etrip.log e-etrip-2.log
popd