diff options
| author | Jonathan Kew <jfkthame@googlemail.com> | 2008-03-05 14:19:23 +0000 |
|---|---|---|
| committer | Jonathan Kew <jfkthame@googlemail.com> | 2008-03-05 14:19:23 +0000 |
| commit | 454357431856f4bc4ee8ac0f0e570419d176c05f (patch) | |
| tree | a0f55cd59f919c91d7f74a27eb47c8cc825c5051 /Build | |
| parent | 34fb63e0edf29dee94dba0dee6c5563022b224ca (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.c | 14 | ||||
| -rw-r--r-- | Build/source/texk/web2c/texmfmp-help.h | 1 |
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", |