diff options
-rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 14 |
2 files changed, 14 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index 719e41fa8d9..eb47250e790 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,8 @@ +2009-02-06 Karl Berry <karl@tug.org> + + * texmfmp.c (maininit) [__SyncTeX__]: omit warning about no + SyncTeX for Omega and MF/MP. + 2008-03-24 Karl Berry <karl@tug.org> * printversion.c: it's 2008. diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c index 959395cf277..066a6301e73 100644 --- a/Build/source/texk/web2c/lib/texmfmp.c +++ b/Build/source/texk/web2c/lib/texmfmp.c @@ -227,14 +227,18 @@ maininit P2C(int, ac, string *, av) #if defined(__SyncTeX__) # warning SyncTeX: -synctex command line option available /* 0 means "disable Synchronize TeXnology". - * synctexoption is a *.web variable. - * We initialize it to a weird value to catch the -synctex command line flag - * At runtime, if synctexoption is not INT_MAX, then it contains the command line option provided, - * otherwise no such option was given by the user. */ + synctexoption is a *.web variable. + We initialize it to a weird value to catch the -synctex command line flag. + At runtime, if synctexoption is not INT_MAX, then it contains the + command line option provided; otherwise, no such option was given + by the user. */ # define SYNCTEX_NO_OPTION INT_MAX synctexoption = SYNCTEX_NO_OPTION; #else -# warning SyncTeX: -synctex command line option NOT available +# /* Omit warning for Omega and non-TeX. */ +# if defined(TeX) && !defined(Omega) && !defined(eOmega) && !defined(Aleph) +# warning SyncTeX: -synctex command line option NOT available +# endif #endif #if defined(pdfTeX) || defined(luaTeX) |