#! /bin/sh ./dt2dv $srcdir/edited.txt testfile.dvi || exit 1 ./dv2dt testfile.dvi testfile.dtl || exit 1 ./dt2dv testfile.dtl testfile.dvx || exit 1 ./dv2dt testfile.dvx testfile.dtx || exit 1 diff testfile.dtl testfile.dtx || exit 1