diff options
Diffstat (limited to 'Build/source/texk/dvipsk/texc.script')
-rw-r--r-- | Build/source/texk/dvipsk/texc.script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/texc.script b/Build/source/texk/dvipsk/texc.script index c83122054f2..c46c7853999 100644 --- a/Build/source/texk/dvipsk/texc.script +++ b/Build/source/texk/dvipsk/texc.script @@ -1,5 +1,5 @@ #! /bin/sh -# A shell script to convert tex.lpro to texc.lpro +# A shell script to convert tex.lpro to texc.lpro. Public domain. # # To use it, say # texc.script tex.lpro texc.lpro |