#! /bin/rc
# A shell script to convert tex.lpro to texc.lpro
#
# 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
|