blob: 598da14f472a089c9825044113b860603714b537 (
plain)
1
2
3
4
5
6
7
8
9
|
#! /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
|