summaryrefslogtreecommitdiff
path: root/source/t/texlive/patches/synctex-missing-header.patch
diff options
context:
space:
mode:
Diffstat (limited to 'source/t/texlive/patches/synctex-missing-header.patch')
-rw-r--r--source/t/texlive/patches/synctex-missing-header.patch18
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 00000000..e783bd0b
--- /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