diff options
Diffstat (limited to 'Build/source/texk/dvipsk/texc.script')
-rwxr-xr-x[-rw-r--r--] | Build/source/texk/dvipsk/texc.script | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/Build/source/texk/dvipsk/texc.script b/Build/source/texk/dvipsk/texc.script index c46c7853999..0caa7d7541d 100644..100755 --- a/Build/source/texk/dvipsk/texc.script +++ b/Build/source/texk/dvipsk/texc.script @@ -4,9 +4,5 @@ # To use it, say # texc.script tex.lpro texc.lpro # -ed $1 <<edscriptend -/% begin code for uncompressed fonts only/d -.,/% end code for uncompressed fonts only/d -.,/% end of code for unpacking compressed fonts/s/% // -w $2 -edscriptend +sed $1 -e '/begin code/,/end code/d' \ + -e '/alternate code/,/end of code/s/^% //' >$2 |