diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 new file mode 100644 index 00000000000..33a1212bb1c --- /dev/null +++ b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 @@ -0,0 +1,23 @@ +@x tex.web l.2897 +@d box_node_size=7+synctex_field_size {number of words to allocate for a box node} +@y +@d box_node_size=8+synctex_field_size {number of words to allocate for a box node} +@z + +@x tex.web l.4912 + synctex-mem.ch0 +@d REMOVE ME IF synctex_code is properly defined +@y +@z + +@x tex.web l.4960 + tex.ch +@d int_pars=web2c_int_pars {total number of integer parameters} +@y +@d synctex_code=web2c_int_pars +@d int_pars=synctex_code+1 {total number of integer parameters} +@z + +@x tex.web l. 24956 +@* \[54] System-dependent changes. +@y +@* \[55/\pTeX] System-dependent changes for \pTeX. +@z |