summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/synctex-convert.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-convert.sh')
-rwxr-xr-xBuild/source/texk/web2c/synctexdir/synctex-convert.sh18
1 files changed, 0 insertions, 18 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-convert.sh b/Build/source/texk/web2c/synctexdir/synctex-convert.sh
deleted file mode 100755
index 2b611f15b94..00000000000
--- a/Build/source/texk/web2c/synctexdir/synctex-convert.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#! /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