summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/synctex-p-rec.ch1
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-p-rec.ch1')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex-p-rec.ch119
1 files changed, 19 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-p-rec.ch1 b/Build/source/texk/web2c/synctexdir/synctex-p-rec.ch1
new file mode 100644
index 00000000000..56a63cec885
--- /dev/null
+++ b/Build/source/texk/web2c/synctexdir/synctex-p-rec.ch1
@@ -0,0 +1,19 @@
+@x tex.web l.12394
+ @<Record void list {\sl Sync\TeX} information@>;
+@y
+ if type(p)<>dir_node then
+ @<Record void list {\sl Sync\TeX} information@>;
+@z
+
+@x tex.web l.12533
+save_loc:=dvi_offset+dvi_ptr; left_edge:=cur_h;
+@y
+left_edge:=cur_h;
+@z
+
+@x tex.web l.12569
+ @<Record void list {\sl Sync\TeX} information@>;
+@y
+ if type(p)<>dir_node then
+ @<Record void list {\sl Sync\TeX} information@>;
+@z