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