summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-03-19 16:22:22 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-03-19 16:22:22 +0000
commit2225eadd40bc2e8adb7ad12e1a95c14c140cd860 (patch)
treefb1225de8549835efc25d983a8cfec94ee76b833 /Build/source/texk/web2c/synctexdir
parent0145b2cc7636920582722f03596ab4459fdfdb59 (diff)
new build system: more preparation
git-svn-id: svn://tug.org/texlive/trunk@12432 c570f23f-e606-0410-a88d-b1316a301751
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