summaryrefslogtreecommitdiff
path: root/libre/texlive-bin/synctex-missing-header.patch
diff options
context:
space:
mode:
authorIsaac David <isacdaavid@isacdaavid.info>2018-07-21 21:40:20 -0500
committerIsaac David <isacdaavid@isacdaavid.info>2018-07-21 21:40:20 -0500
commitc44024306e8f25f4847f67acdc4c2201728e8d00 (patch)
tree108aa9eebb02ddc9360d5b4df6cb09a622b50df0 /libre/texlive-bin/synctex-missing-header.patch
parent5c6e69d02efc6e7d1aa541a74c1430dc8f9e16bc (diff)
downloadabslibre-c44024306e8f25f4847f67acdc4c2201728e8d00.tar.gz
abslibre-c44024306e8f25f4847f67acdc4c2201728e8d00.tar.bz2
abslibre-c44024306e8f25f4847f67acdc4c2201728e8d00.zip
update texlive packages
Diffstat (limited to 'libre/texlive-bin/synctex-missing-header.patch')
-rw-r--r--libre/texlive-bin/synctex-missing-header.patch12
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