#! /bin/sh# 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 $2edscriptend
#! /bin/sh
# 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