diff options
| author | Vladimir Volovich <vvv@vsu.ru> | 2008-06-06 04:13:32 +0000 |
|---|---|---|
| committer | Vladimir Volovich <vvv@vsu.ru> | 2008-06-06 04:13:32 +0000 |
| commit | 65790f496afd2cecb39fc6de831a1e639890cf04 (patch) | |
| tree | 8d50a93f5db266b513774e544eaa8d0650ba6618 /Build | |
| parent | d43f1383179af4f33a030b2e506385f62903e487 (diff) | |
synctex directory got renamed to synctexdir, so convert needed to be changed
to prevent errors like this:
srcdir=../../../texk/web2c /bin/sh ../../../texk/web2c/web2c/convert . pdftex
cat: ../../../texk/web2c/synctex/synctex.defines: No such file or directory
git-svn-id: svn://tug.org/texlive/trunk@8589 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/source/texk/web2c/web2c/convert | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/web2c/convert b/Build/source/texk/web2c/web2c/convert index a49bb6af6ae..4f0165cb77a 100755 --- a/Build/source/texk/web2c/web2c/convert +++ b/Build/source/texk/web2c/web2c/convert @@ -97,7 +97,7 @@ ${basefile}coerce.h" ;; tex|eomega|etex|pdftex|pdfetex|omega|aleph|xetex) - more_defines="$srcdir/web2c/texmf.defines $srcdir/synctex/synctex.defines" + more_defines="$srcdir/web2c/texmf.defines $srcdir/synctexdir/synctex.defines" prog_defines="$srcdir/${basefile}dir/$basefile.defines" if test -f $prog_defines; then more_defines="$more_defines $prog_defines" |