diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-28 09:27:48 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-28 09:27:48 +0000 |
| commit | acead4a9aec4369046ab1eca84fec5e7308099fa (patch) | |
| tree | 6781429c3b1a4aa860814fd5f36b93259d476cb6 /Build/source | |
| parent | d6335d4cd5b76e2216432b98ad4bcaee05ba9201 (diff) | |
use sed instead of ed
git-svn-id: svn://tug.org/texlive/trunk@13505 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 4 | ||||
| -rwxr-xr-x[-rw-r--r--] | Build/source/texk/dvipsk/texc.script | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index 51679819405..d527bd2e3d3 100644 --- a/Build/source/texk/dvipsk/ChangeLog +++ b/Build/source/texk/dvipsk/ChangeLog @@ -1,3 +1,7 @@ +2009-05-28 Peter Breitenlohner <peb@mppmu.mpg.de> + + * texc.script: use sed instead of ed (which may be missing). + 2009-05-24 Karl Berry <karl@tug.org> * dvips.texi (Configuration file commands): document -G, 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 |