diff options
Diffstat (limited to 'Build/source/texk/web2c/etexdir/tex.ch1')
| -rw-r--r-- | Build/source/texk/web2c/etexdir/tex.ch1 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/etexdir/tex.ch1 b/Build/source/texk/web2c/etexdir/tex.ch1 new file mode 100644 index 00000000000..bf02fd83350 --- /dev/null +++ b/Build/source/texk/web2c/etexdir/tex.ch1 @@ -0,0 +1,19 @@ +% Change file to assist in creating the web2c-specific change file. +% This one resolves inconsistencies between tex.ch and tex.ech. +% Public domain. + +@x [1] m.2 l.188 - banner +@d banner==TeX_banner +@d banner_k==TeX_banner_k +@y +@d banner==eTeX_banner +@d banner_k==eTeX_banner_k +@z + +@x [17.236] l.4960 - first web2c, then e-TeX additional integer parameters +@d int_pars=web2c_int_pars {total number of integer parameters} +@# +@d etex_int_base=tex_int_pars {base for \eTeX's integer parameters} +@y +@d etex_int_base=web2c_int_pars {base for \eTeX's integer parameters} +@z |