#! /bin/sh # A shell script to convert tex.lpro to texc.lpro # # To use it, say # texc.script tex.lpro texc.lpro # ed $1 <