summaryrefslogtreecommitdiff
path: root/systems/knuth/local/tex-sparc/ini_to_vir
diff options
context:
space:
mode:
Diffstat (limited to 'systems/knuth/local/tex-sparc/ini_to_vir')
-rw-r--r--systems/knuth/local/tex-sparc/ini_to_vir23
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