#! /bin/sh # A shell script to convert tex.lpro to texc.lpro. Public domain. # # To use it, say # texc.script tex.lpro texc.lpro # sed -e '/begin code/,/end code/d' \ -e '/alternate code/,/end of code/s/^% //' \ $1 >$2