summaryrefslogtreecommitdiff
path: root/Build/source/texk
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk')
-rw-r--r--Build/source/texk/dvipsk/ChangeLog4
-rwxr-xr-x[-rw-r--r--]Build/source/texk/dvipsk/texc.script8
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