diff options
Diffstat (limited to 'Build/source/texk/dtl/dtl.test')
-rwxr-xr-x | Build/source/texk/dtl/dtl.test | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/source/texk/dtl/dtl.test b/Build/source/texk/dtl/dtl.test new file mode 100755 index 00000000000..c1e8ea88975 --- /dev/null +++ b/Build/source/texk/dtl/dtl.test @@ -0,0 +1,12 @@ +#! /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 + |