19 lines
750 B
Diff
19 lines
750 B
Diff
--- ./texk/web2c/Makefile.in 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
|