summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2011-06-11 10:25:35 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2011-06-11 10:25:35 +0000
commite2e2e71d685621ef787597307f9f71d8a8a4b720 (patch)
tree4ee47adc0016f006f91b379fb4be77eb256e39aa /Master
parente88b082e2bb09827621d62c47a6dcd784ecbffcd (diff)
update x86_64-linux binaries
git-svn-id: svn://tug.org/texlive/trunk@22913 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/bin/x86_64-linux/synctexbin144120 -> 144152 bytes
-rwxr-xr-xMaster/bin/x86_64-linux/tpic2pdftex8
2 files changed, 4 insertions, 4 deletions
diff --git a/Master/bin/x86_64-linux/synctex b/Master/bin/x86_64-linux/synctex
index 733fcef67f8..e221eb12bd1 100755
--- a/Master/bin/x86_64-linux/synctex
+++ b/Master/bin/x86_64-linux/synctex
Binary files differ
diff --git a/Master/bin/x86_64-linux/tpic2pdftex b/Master/bin/x86_64-linux/tpic2pdftex
index 8277e0d3c7b..16fef2c8fff 100755
--- a/Master/bin/x86_64-linux/tpic2pdftex
+++ b/Master/bin/x86_64-linux/tpic2pdftex
@@ -20,7 +20,7 @@
# Bounding box does not care for line thickness (groff pic feature).
# Splines might be outside bounding box.
#
-# Copyright (C) 2002--2010 by Hartmut Henkel
+# Copyright (C) 2002--2011 by Hartmut Henkel
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
@@ -114,7 +114,7 @@ if test -z "$AWK"; then # if set by user, leave it.
fi
fi
-export LANG="C"
+LANG="C"; export LANG
AWKPROG='
# begin of awk input file
@@ -161,10 +161,10 @@ BEGIN{
pi = atan2(0, -1);
if (match(sprintf("%f", 0.5), /\./) == 0) {
print "ERROR: Floating point numbers miss decimal point. Do"
- print " export LANG=\"C\""
+ print " LANG=\"C\"; export LANG"
print "before calling awk."
print "ERROR: Floating point numbers miss decimal point. Do" > "/dev/stderr"
- print " export LANG=\"C\"" > "/dev/stderr"
+ print " LANG=\"C\"; export LANG" > "/dev/stderr"
print "before calling awk." > "/dev/stderr"
exit 1;
}