diff options
-rw-r--r-- | Build/source/texk/web2c/synctexdir/ChangeLog | 6 | ||||
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex.c | 3 |
2 files changed, 6 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/synctexdir/ChangeLog b/Build/source/texk/web2c/synctexdir/ChangeLog index 3a6ae746af1..6ed7e4deeb8 100644 --- a/Build/source/texk/web2c/synctexdir/ChangeLog +++ b/Build/source/texk/web2c/synctexdir/ChangeLog @@ -1,3 +1,9 @@ +2012-02-03 Peter Breitenlohner <peb@mppmu.mpg.de> + + * synctex.c: Remove "# warning ..." line, because MSVC fails to + interpret it. + From Akira Kakuto <kakuto@fuk.kindai.ac.jp> (W32TeX). + 2012-05-16 Vladimir Volovich <vvv@vsu.ru> * synctex_parser.c (SYNCTEX_DECLARE_CHARINDEX): Bug fix, avoid diff --git a/Build/source/texk/web2c/synctexdir/synctex.c b/Build/source/texk/web2c/synctexdir/synctex.c index 6e3c457a711..bc52ed6219f 100644 --- a/Build/source/texk/web2c/synctexdir/synctex.c +++ b/Build/source/texk/web2c/synctexdir/synctex.c @@ -1719,7 +1719,4 @@ void synctex_node_recorder(halfword p) synctexabort(0); return; } - -# else -# warning "SyncTeX is disabled" # endif |