summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/bin/x86_64-linux/dt2dvbin37040 -> 37040 bytes
-rwxr-xr-xMaster/bin/x86_64-linux/texi2html1
-rwxr-xr-xMaster/bin/x86_64-linux/xdvi-xaw.binbin863464 -> 863464 bytes
3 files changed, 0 insertions, 1 deletions
diff --git a/Master/bin/x86_64-linux/dt2dv b/Master/bin/x86_64-linux/dt2dv
index 4dbc00685db..bb11dc5c174 100755
--- a/Master/bin/x86_64-linux/dt2dv
+++ b/Master/bin/x86_64-linux/dt2dv
Binary files differ
diff --git a/Master/bin/x86_64-linux/texi2html b/Master/bin/x86_64-linux/texi2html
index b61a7d6cdc7..14f0f067222 100755
--- a/Master/bin/x86_64-linux/texi2html
+++ b/Master/bin/x86_64-linux/texi2html
@@ -5705,7 +5705,6 @@ $LANGUAGES->{'en'} = {
$T2H_OBSOLETE_STRINGS->{'en'} = {};
-
my $index_name = -1;
my @index_to_hash = ('style_map', 'style_map_pre', 'style_map_texi');
foreach my $hash (\%style_map, \%style_map_pre, \%style_map_texi, \%unformatted_text_style_map_texi)
diff --git a/Master/bin/x86_64-linux/xdvi-xaw.bin b/Master/bin/x86_64-linux/xdvi-xaw.bin
index 5aab37c8f76..26685d367df 100755
--- a/Master/bin/x86_64-linux/xdvi-xaw.bin
+++ b/Master/bin/x86_64-linux/xdvi-xaw.bin
Binary files differ