diff options
author | Pavel Vinogradov | 2018-12-29 18:18:59 -0500 |
---|---|---|
committer | Pavel Vinogradov | 2018-12-29 18:18:59 -0500 |
commit | 4075af768a422f018f26f7ddb44171eaa04c7ed8 (patch) | |
tree | 6f588d563c5a9e498ca4a9ff7b49aaff3c086ca9 /latex | |
parent | edebeaaf0ba346c495cb6fc79d1f91dec0432212 (diff) |
latex/texlive: more SyncTeX patching needed
Diffstat (limited to 'latex')
-rw-r--r-- | latex/texlive/patches/synctex.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/latex/texlive/patches/synctex.patch b/latex/texlive/patches/synctex.patch index 9935e4acf4..8a51e0e20c 100644 --- a/latex/texlive/patches/synctex.patch +++ b/latex/texlive/patches/synctex.patch @@ -1,3 +1,25 @@ +diff --git a/texk/web2c/Makefile.in b/texk/web2c/Makefile.in +--- a/texk/web2c/Makefile.in ++++ b/texk/web2c/Makefile.in +@@ -1762,7 +1762,7 @@ + MANS = $(dist_man_MANS) $(nodist_man_MANS) + DATA = $(pkgconfig_DATA) + am__syncinclude_HEADERS_DIST = synctexdir/synctex_parser.h \ +- synctexdir/synctex_parser_utils.h ++ synctexdir/synctex_parser_utils.h synctexdir/synctex_version.h + HEADERS = $(syncinclude_HEADERS) + RECURSIVE_CLEAN_TARGETS = mostlyclean-recursive clean-recursive \ + distclean-recursive maintainer-clean-recursive +@@ -4021,7 +4021,8 @@ + pkgconfigdir = ${libdir}/pkgconfig + @SYNCTEX_TRUE@syncinclude_HEADERS = \ + @SYNCTEX_TRUE@ synctexdir/synctex_parser.h \ +-@SYNCTEX_TRUE@ synctexdir/synctex_parser_utils.h ++@SYNCTEX_TRUE@ synctexdir/synctex_parser_utils.h \ ++@SYNCTEX_TRUE@ synctexdir/synctex_version.h + + @SYNCTEX_TRUE@pkgconfig_DATA = synctexdir/synctex.pc + @TEX_SYNCTEX_TRUE@tex_ch_synctex = \ diff --git a/texk/web2c/synctexdir/am/synctex.am b/texk/web2c/synctexdir/am/synctex.am --- a/texk/web2c/synctexdir/am/synctex.am +++ b/texk/web2c/synctexdir/am/synctex.am |