diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-p-rec.ch0')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-p-rec.ch0 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-p-rec.ch0 b/Build/source/texk/web2c/synctexdir/synctex-p-rec.ch0 new file mode 100644 index 00000000000..b2c1bf8a73c --- /dev/null +++ b/Build/source/texk/web2c/synctexdir/synctex-p-rec.ch0 @@ -0,0 +1,5 @@ +@x tex.web l.12533 +left_edge:=cur_h; cur_v:=cur_v-height(this_box); +@y +save_loc:=dvi_offset+dvi_ptr; left_edge:=cur_h; cur_v:=cur_v-height(this_box); +@z |