From 0a7bc36f6afb69bb2a4370e2accfbbaa5e07b096 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
<grubba@grubba.org>
Date: Wed, 13 Aug 2014 15:36:25 +0200
Subject: [PATCH] Doc: Reduced verbosity.
---
.../Tools.pmod/Standalone.pmod/git_export_autodoc.pike | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/lib/modules/Tools.pmod/Standalone.pmod/git_export_autodoc.pike b/lib/modules/Tools.pmod/Standalone.pmod/git_export_autodoc.pike
index fdc4e895cc..f2d942d5eb 100644
--- a/lib/modules/Tools.pmod/Standalone.pmod/git_export_autodoc.pike
+++ b/lib/modules/Tools.pmod/Standalone.pmod/git_export_autodoc.pike
@@ -720,7 +720,9 @@ void export_autodoc_for_ref(string ref)
{
// Not relevant for autodoc.
src_to_doc[src_rev] = doc_refs[ref];
- progress("no documentation... ");
+ if (verbose) {
+ progress("No documentation... ");
+ }
continue;
}
--
GitLab