diff --git a/contrib/texinfo/makeinfo/makeinfo.c b/contrib/texinfo/makeinfo/makeinfo.c
index bfd142e7dab3..241a068aa737 100644
--- a/contrib/texinfo/makeinfo/makeinfo.c
+++ b/contrib/texinfo/makeinfo/makeinfo.c
@@ -2147,7 +2147,7 @@ convert_from_loaded_file (name)
       output_stream = fopen (real_output_filename, "w");
     }
 
-  if (output_stream != stdout)
+  if (verbose_mode && output_stream != stdout)
     printf (_("Making %s file `%s' from `%s'.\n"),
             no_headers ? "text" : "info", output_filename, input_filename);