PKGBUILDs/extra/texlive-bin/synctex-missing-header.patch
2018-06-16 10:58:19 +00:00

12 lines
420 B
Diff

--- 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