summaryrefslogtreecommitdiff
path: root/systems/knuth/local/tex/ini_to_vir
blob: 2120a4beeadedf19077746dd072f455a90a9f79e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#! /bin/csh
# 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
/@!mem_max=/
//
s/[0-9][0-9]*/32766/p
/@!max_strings=/
s/[0-9][0-9]*/6000/p
/@!trie_size=/
s/[0-9][0-9]*/6500/p
w $2
edscriptend