summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex-common.h2
-rwxr-xr-xBuild/source/texk/web2c/synctexdir/synctex-convert.sh18
2 files changed, 19 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-common.h b/Build/source/texk/web2c/synctexdir/synctex-common.h
index 293c258210b..22a98d7335e 100644
--- a/Build/source/texk/web2c/synctexdir/synctex-common.h
+++ b/Build/source/texk/web2c/synctexdir/synctex-common.h
@@ -1,4 +1,4 @@
-/* synctex.h
+/* synctex-common.h
This file is part of the SyncTeX package.
diff --git a/Build/source/texk/web2c/synctexdir/synctex-convert.sh b/Build/source/texk/web2c/synctexdir/synctex-convert.sh
new file mode 100755
index 00000000000..2b611f15b94
--- /dev/null
+++ b/Build/source/texk/web2c/synctexdir/synctex-convert.sh
@@ -0,0 +1,18 @@
+#! /bin/sh
+
+tex=$1
+
+if test -z "`grep __SyncTeX__ ${tex}d.h`"; then
+ echo "Enabling SyncTeX Support for $tex."
+ sed -e 's|^#include "texmfmp.h"$|&\
+/* Start of SyncTeX Section */\
+#define __SyncTeX__\
+#include "synctexdir/synctex-common.h"\
+/* End of SyncTeX Section */|g' ${tex}d.h >synctex_${tex}d.h
+ if test -z "`grep __SyncTeX__ synctex_${tex}d.h`"; then
+ echo "warning: SyncTeX activation for $tex FAILED"
+ exit 1
+ fi
+ mv synctex_${tex}d.h ${tex}d.h
+ echo "warning: SyncTeX for $tex is enabled"
+fi