diff options
Diffstat (limited to 'Build/source/texk/dvipsk/beginfontk1.test')
-rwxr-xr-x | Build/source/texk/dvipsk/beginfontk1.test | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/beginfontk1.test b/Build/source/texk/dvipsk/beginfontk1.test index 91fe8ae357d..8f9d92349d2 100755 --- a/Build/source/texk/dvipsk/beginfontk1.test +++ b/Build/source/texk/dvipsk/beginfontk1.test @@ -1,4 +1,6 @@ -#! /bin/sh +#! /bin/sh -vx +# $Id$ +# Public domain. # ensure -K1 does not remove newline after %%BeginFont line. # Report from T S, 1 Jan 2010 16:32:16. |