From 2225eadd40bc2e8adb7ad12e1a95c14c140cd860 Mon Sep 17 00:00:00 2001 From: Peter Breitenlohner Date: Thu, 19 Mar 2009 16:22:22 +0000 Subject: new build system: more preparation git-svn-id: svn://tug.org/texlive/trunk@12432 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/texk/web2c/synctexdir/synctex-common.h | 2 +- Build/source/texk/web2c/synctexdir/synctex-convert.sh | 18 ++++++++++++++++++ 2 files changed, 19 insertions(+), 1 deletion(-) create mode 100755 Build/source/texk/web2c/synctexdir/synctex-convert.sh (limited to 'Build/source/texk/web2c/synctexdir') 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 -- cgit v1.2.3