summaryrefslogtreecommitdiff
path: root/source/t/texlive/patches/synctex-missing-header.patch
blob: e783bd0bc10db41dc2bd9e2d4f32aa7036350e9b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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