diff options
author | bde <bde@FreeBSD.org> | 1997-12-19 21:20:07 +0000 |
---|---|---|
committer | bde <bde@FreeBSD.org> | 1997-12-19 21:20:07 +0000 |
commit | e3217cf45896777fe03b9ce9a4cd8c41aec55723 (patch) | |
tree | 0c22dfd0dc384ba3416e6888c938b342dab5d003 | |
parent | 93f1da9dce6622d530408064f4376eed1e7c5bc5 (diff) | |
download | FreeBSD-src-e3217cf45896777fe03b9ce9a4cd8c41aec55723.zip FreeBSD-src-e3217cf45896777fe03b9ce9a4cd8c41aec55723.tar.gz |
Don't print "Making info file ...' except in verbose mode.
-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 ee12ef2..2ed9365 100644 --- a/contrib/texinfo/makeinfo/makeinfo.c +++ b/contrib/texinfo/makeinfo/makeinfo.c @@ -2120,7 +2120,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); |