#! /bin/sh test_src=$srcdir/$DVI2TTY_TREE/test unset DVI2TTY # nullify dvi2tty options (if any) ./dvi2tty $test_src/test.dvi >test.out && diff $srcdir/test.tty test.out || exit 1 ./dvi2tty -s $test_src/test.dvi >tests.out && diff $srcdir/tests.tty tests.out || exit 1 ./dvi2tty -u $test_src/test.dvi >testu.out && diff $srcdir/testu.tty testu.out || exit 1 ./dvi2tty $test_src/ligtest >ligtest.out && diff $srcdir/ligtest.tty ligtest.out || exit 1