diff options
Diffstat (limited to 'contrib/texinfo')
| -rw-r--r-- | contrib/texinfo/makeinfo/makeinfo.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/texinfo/makeinfo/makeinfo.c b/contrib/texinfo/makeinfo/makeinfo.c index bfd142e..241a068 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); |
