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, 0 insertions, 12 deletions
diff --git a/libre/texlive-bin/synctex-missing-header.patch b/libre/texlive-bin/synctex-missing-header.patch deleted file mode 100644 index 5e4ca7bbe..000000000 --- a/libre/texlive-bin/synctex-missing-header.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- 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 |