summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch0
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch0')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch013
1 files changed, 13 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch0 b/Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch0
new file mode 100644
index 00000000000..61444b9214b
--- /dev/null
+++ b/Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch0
@@ -0,0 +1,13 @@
+@x srcdir/etex.ch l.536
+@/@<synctex case for |print_param|@>@/
+othercases print("[unknown integer parameter!]")
+@y
+othercases print("[unknown integer parameter!]")
+@z
+
+@x
+@ @<synctex case for |print_param|@>=
+synctex_code: print_esc("synctex");
+
+@y
+@z