--- texinfo/tp/texi2any.pl

+++ texinfo/tp/texi2any.pl

@@ -791,7 +791,7 @@ my $latex2html_file = 'latex2html.pm';

 my $result_options = Getopt::Long::GetOptions (

  'help|h' => sub { print makeinfo_help(); exit 0; },

- 'version|V' => sub {print "$program_name (GNU texinfo) $configured_version\n\n";

+ 'version|V' => sub {print "$real_command_name (GNU texinfo) $configured_version\n\n";

     printf __("Copyright (C) %s Free Software Foundation, Inc.

 License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>

 This is free software: you are free to change and redistribute it.