blob: 5e4ca7bbe65021185af17951fed7228e17b66aea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- source.orig/texk/web2c/synctexdir/am/synctex.am 2016-05-08 19:08:26.231570952 +0200
+++ source/texk/web2c/synctexdir/am/synctex.am 2018-05-27 00:14:26.011125669 +0200
@@ -55,7 +55,8 @@
if SYNCTEX
syncinclude_HEADERS = \
synctexdir/synctex_parser.h \
- synctexdir/synctex_parser_utils.h
+ synctexdir/synctex_parser_utils.h \
+ synctexdir/synctex_version.h
pkgconfig_DATA = synctexdir/synctex.pc
endif SYNCTEX
|
