diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-03-19 16:22:22 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-03-19 16:22:22 +0000 |
commit | 2225eadd40bc2e8adb7ad12e1a95c14c140cd860 (patch) | |
tree | fb1225de8549835efc25d983a8cfec94ee76b833 /Build/source/texk/web2c/synctexdir | |
parent | 0145b2cc7636920582722f03596ab4459fdfdb59 (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.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 |