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, 18 insertions, 0 deletions
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 |