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
|
