diff options
Diffstat (limited to 'source/t/texlive/patches/synctex-missing-header.patch')
| -rw-r--r-- | source/t/texlive/patches/synctex-missing-header.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/source/t/texlive/patches/synctex-missing-header.patch b/source/t/texlive/patches/synctex-missing-header.patch deleted file mode 100644 index e783bd0bc..000000000 --- a/source/t/texlive/patches/synctex-missing-header.patch +++ /dev/null @@ -1,18 +0,0 @@ ---- texk/web2c/Makefile.in.orig 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 |