summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/synctex.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex.c')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex.c8
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.