#! /bin/sh
# A shell script to perform modifications on the changefile for initex
# to make a changefile for virtex.  This means changing constants and
# debug..gubed, init..tini, stat..tats.
#
# To use it, say
#	ini_to_vir initex.ch virtex.ch
#
ed - $1 <<edscriptend
/@d init==/
//
s//&@{/p
/@d tini==/
s//&@t@>@}/p
w $2
edscriptend
