remove OTHER redundant dot from output

(why didn't I notice it the first time? embarrassing)

diff --git a/configure.1.pl b/configure.1.pl
index f79860cec8da97274a0b47194f79d33f176daefc..d55e20919ddf8b4b86101f9e3bcde154bb1885db 100755 (executable)
--- a/configure.1.pl
+++ b/configure.1.pl
@@ -1186,7 +1186,7 @@ sub parse_file {
 sub convert_file {
        (my $in, my $out, my $encoding) = @_;
        
-       print_verbose(0, 0, "$in. -> $out");
+       print_verbose(0, 0, "$in -> $out");
        
        my $ref_in = ref($in);
        my $ref_out = ref($out);