diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch0')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-ep-rec.ch0 | 13 |
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 |