diff options
Diffstat (limited to 'libre/texlive-bin/synctex-missing-header.patch')
| -rw-r--r-- | libre/texlive-bin/synctex-missing-header.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/libre/texlive-bin/synctex-missing-header.patch b/libre/texlive-bin/synctex-missing-header.patch new file mode 100644 index 000000000..5e4ca7bbe --- /dev/null +++ b/libre/texlive-bin/synctex-missing-header.patch @@ -0,0 +1,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 |