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, 0 insertions, 23 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 b/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 deleted file mode 100644 index 33a1212bb1c..00000000000 --- a/Build/source/texk/web2c/synctexdir/synctex-p-mem.ch1 +++ /dev/null @@ -1,23 +0,0 @@ -@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 |