summaryrefslogtreecommitdiff
path: root/source/t/texlive/patches/synctex-missing-header.patch
diff options
context:
space:
mode:
Diffstat (limited to 'source/t/texlive/patches/synctex-missing-header.patch')
-rw-r--r--source/t/texlive/patches/synctex-missing-header.patch18
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 e783bd0b..00000000
--- 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