diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/bin/x86_64-linux/dt2dv | bin | 37040 -> 37040 bytes | |||
-rwxr-xr-x | Master/bin/x86_64-linux/texi2html | 1 | ||||
-rwxr-xr-x | Master/bin/x86_64-linux/xdvi-xaw.bin | bin | 863464 -> 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 Binary files differindex 4dbc00685db..bb11dc5c174 100755 --- a/Master/bin/x86_64-linux/dt2dv +++ b/Master/bin/x86_64-linux/dt2dv 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 Binary files differindex 5aab37c8f76..26685d367df 100755 --- a/Master/bin/x86_64-linux/xdvi-xaw.bin +++ b/Master/bin/x86_64-linux/xdvi-xaw.bin |