diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex_main.c')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex_main.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex_main.c b/Build/source/texk/web2c/synctexdir/synctex_main.c index fbf0e141f01..788a7cee8e8 100644 --- a/Build/source/texk/web2c/synctexdir/synctex_main.c +++ b/Build/source/texk/web2c/synctexdir/synctex_main.c @@ -103,6 +103,11 @@ inline static double my_fmax(double x, double y) { return (x < y) ? y : x; } #endif */ +#ifdef WIN32 +# include <kpathsea/progname.h> +#endif + + #if SYNCTEX_DEBUG # ifdef WIN32 # include <direct.h> |