#! /bin/sh -vx # $Id$ # Copyright 2017 Karl Berry # Copyright 2009 Peter Breitenlohner # You may freely use, modify and/or distribute this file. ./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