diff options
Diffstat (limited to 'Build/source/texk/dtl/dtl.test')
-rwxr-xr-x | Build/source/texk/dtl/dtl.test | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/Build/source/texk/dtl/dtl.test b/Build/source/texk/dtl/dtl.test deleted file mode 100755 index 7db5b89fc52..00000000000 --- a/Build/source/texk/dtl/dtl.test +++ /dev/null @@ -1,32 +0,0 @@ -#! /bin/sh -vx -# $Id$ -# Copyright 2017 Karl Berry <tex-live@tug.org> -# Copyright 2009 Peter Breitenlohner <tex-live@tug.org> -# You may freely use, modify and/or distribute this file. - -./dt2dv $srcdir/edited.txt testfile.dvi || exit 1 - -./dv2dt testfile.dvi testfile.dtl || exit 2 - -./dt2dv testfile.dtl testfile.dvx || exit 3 - -./dv2dt testfile.dvx testfile.dtx || exit 4 - -cmp testfile.dvi testfile.dvx || exit 5 - -diff testfile.dtl testfile.dtx || exit 6 - -./dt2dv -so testfile.dtl > testfile1.dvi || exit 7 -./dt2dv -si testfile2.dvi < testfile.dtl || exit 8 -./dt2dv -so -si < testfile.dtl > testfile3.dvi || exit 9 - -cmp testfile.dvi testfile1.dvi || exit 10 -cmp testfile.dvi testfile2.dvi || exit 11 -cmp testfile.dvi testfile3.dvi || exit 12 - -./dv2dt < testfile.dvi > testfile1.dtl || exit 13 -cat testfile.dvi | ./dv2dt > testfile2.dtl || exit 14 - -diff testfile.dtl testfile1.dtl || exit 15 -diff testfile.dtl testfile2.dtl || exit 16 - |