diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex.c')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex.c b/Build/source/texk/web2c/synctexdir/synctex.c index d8731911231..b40f2195cc3 100644 --- a/Build/source/texk/web2c/synctexdir/synctex.c +++ b/Build/source/texk/web2c/synctexdir/synctex.c @@ -250,6 +250,8 @@ EXTERN char *gettexstring(int n); # include "synctex-TEX-OR-MF-OR-MP.h" +# include "synctex.h" + # if defined(__SyncTeX__) # include <stdio.h> @@ -357,9 +359,9 @@ void synctexabort(boolean log_opened) static inline int synctex_record_preamble(void); static inline int synctex_record_input(integer tag, char *name); -static char *synctex_suffix = ".synctex"; -static char *synctex_suffix_gz = ".gz"; -static char *synctex_suffix_busy = "(busy)"; +static const char *synctex_suffix = ".synctex"; +static const char *synctex_suffix_gz = ".gz"; +static const char *synctex_suffix_busy = "(busy)"; /* synctex_dot_open ensures that the foo.synctex file is open. * In case of problem, it definitely disables synchronization. |