diff options
Diffstat (limited to 'source/t/texlive/patches/synctex-missing-header.patch')
| -rw-r--r-- | source/t/texlive/patches/synctex-missing-header.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/source/t/texlive/patches/synctex-missing-header.patch b/source/t/texlive/patches/synctex-missing-header.patch new file mode 100644 index 000000000..e783bd0bc --- /dev/null +++ b/source/t/texlive/patches/synctex-missing-header.patch @@ -0,0 +1,18 @@ +--- texk/web2c/Makefile.in.orig 2018-07-23 11:03:30.763277046 +0200 ++++ texk/web2c/Makefile.in 2018-07-23 11:04:53.940224054 +0200 +@@ -1762,6 +1762,7 @@ + MANS = $(dist_man_MANS) $(nodist_man_MANS) + DATA = $(pkgconfig_DATA) + am__syncinclude_HEADERS_DIST = synctexdir/synctex_parser.h \ ++ synctexdir/synctex_version.h \ + synctexdir/synctex_parser_utils.h + HEADERS = $(syncinclude_HEADERS) + RECURSIVE_CLEAN_TARGETS = mostlyclean-recursive clean-recursive \ +@@ -4021,6 +4022,7 @@ + pkgconfigdir = ${libdir}/pkgconfig + @SYNCTEX_TRUE@syncinclude_HEADERS = \ + @SYNCTEX_TRUE@ synctexdir/synctex_parser.h \ ++@SYNCTEX_TRUE@ synctexdir/synctex_version.h \ + @SYNCTEX_TRUE@ synctexdir/synctex_parser_utils.h + + @SYNCTEX_TRUE@pkgconfig_DATA = synctexdir/synctex.pc |