diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-convert.sh')
-rwxr-xr-x | Build/source/texk/web2c/synctexdir/synctex-convert.sh | 18 |
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 |