From 9352092dfd4c6c2c9d1f5c383852aaa30c9fdff6 Mon Sep 17 00:00:00 2001
From: Jim Rees <rees@umich.edu>
Date: Wed, 25 Jan 2006 19:44:15 +0000
Subject: [PATCH] regen-no-doc-noise-20060125

Don't say we're building man pages if we're not.
---
 regen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regen.sh b/regen.sh
index bc059256c..75c51ff68 100755
--- a/regen.sh
+++ b/regen.sh
@@ -13,7 +13,7 @@ autoheader
 
 # Rebuild the man pages, to not require those building from source to have
 # pod2man available.
-echo "Building man pages"
 if test -d doc/man-pages ; then
+    echo "Building man pages"
     (cd doc/man-pages && ./generate-man)
 fi
-- 
2.39.5