diff options
Diffstat (limited to 'systems/knuth/local/tex-sparc/ini_to_vir')
-rw-r--r-- | systems/knuth/local/tex-sparc/ini_to_vir | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/systems/knuth/local/tex-sparc/ini_to_vir b/systems/knuth/local/tex-sparc/ini_to_vir new file mode 100644 index 0000000000..2120a4beea --- /dev/null +++ b/systems/knuth/local/tex-sparc/ini_to_vir @@ -0,0 +1,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 |