summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorJonathan Kew <jfkthame@googlemail.com>2008-03-05 14:19:23 +0000
committerJonathan Kew <jfkthame@googlemail.com>2008-03-05 14:19:23 +0000
commit454357431856f4bc4ee8ac0f0e570419d176c05f (patch)
treea0f55cd59f919c91d7f74a27eb47c8cc825c5051 /Build
parent34fb63e0edf29dee94dba0dee6c5563022b224ca (diff)
synctex support in shared web2c/lib files (not yet enabled for pdftex)
git-svn-id: svn://tug.org/texlive/trunk@6867 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r--Build/source/texk/web2c/lib/texmfmp.c14
-rw-r--r--Build/source/texk/web2c/texmfmp-help.h1
2 files changed, 15 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c
index bf6c5234346..c9b256d1910 100644
--- a/Build/source/texk/web2c/lib/texmfmp.c
+++ b/Build/source/texk/web2c/lib/texmfmp.c
@@ -191,6 +191,11 @@ maininit P2C(int, ac, string *, av)
kpse_record_input = recorder_record_input;
kpse_record_output = recorder_record_output;
+#if /*defined (pdfTeX) ||*/ defined(XeTeX) || defined(__syncTeX__)
+ /* 0 means don't use Synchronize TeXnology. */
+ synctexoption = 0;
+#endif
+
#if defined(pdfTeX)
ptexbanner = BANNER;
#endif
@@ -895,6 +900,10 @@ static struct option long_options[]
{ "no-shell-escape", 0, &shellenabledp, -1 },
{ "debug-format", 0, &debugformatfile, 1 },
{ "src-specials", 2, 0, 0 },
+#if /*defined(pdfTeX) ||*/ defined(XeTeX) || defined(__syncTeX__)
+ /* Synchronization: just like "interaction" above */
+ { "synctex", 1, 0, 0 },
+#endif
#endif /* TeX */
#if defined (TeX) || defined (MF) || defined (MP)
{ "file-line-error-style", 0, &filelineerrorstylep, 1 },
@@ -1073,6 +1082,11 @@ parse_options P2C(int, argc, string *, argv)
} else if (ARGUMENT_IS ("help")) {
usagehelp (PROGRAM_HELP, BUG_ADDRESS);
+#if /*defined (pdfTeX) ||*/ defined(XeTeX) || defined(__syncTeX__)
+ } else if (ARGUMENT_IS ("synctex")) {
+ /* Synchronize TeXnology: catching the command line option as an unsigned long */
+ synctexoption = (int) strtoul(optarg, NULL, 0);
+ #endif
} else if (ARGUMENT_IS ("version")) {
char *versions;
#if defined (pdfTeX) || defined(XeTeX)
diff --git a/Build/source/texk/web2c/texmfmp-help.h b/Build/source/texk/web2c/texmfmp-help.h
index 93737b9af5e..97d1fe0a614 100644
--- a/Build/source/texk/web2c/texmfmp-help.h
+++ b/Build/source/texk/web2c/texmfmp-help.h
@@ -439,6 +439,7 @@ const_string XETEXHELP[] = {
"-src-specials=WHERE insert source specials in certain places of",
" the XDV file. WHERE is a comma-separated value",
" list: cr display hbox math par parend vbox",
+ "-synctex=NUMBER generate SyncTeX data for previewers if nonzero",
"-translate-file=TCXNAME (ignored)",
"-8bit make all characters printable, don't use ^^X sequences",
"-help display this help and exit",